2181 search results - page 294 / 437 » Ontologies and Description Logics |
144
click to vote
DLOG
2008
15 years 8 months ago
2008
Abstract. We show that subsumption problems in EL and related description logics can be expressed as uniform word problems in classes of semilattices with monotone operators. We us...
157
click to vote
FLAIRS
2001
15 years 7 months ago
2001
We introduce the graph-based relational concept learner SubdueCL. We start with a brief description of other graph-based learning systems: the Galois lattice, Conceptual Graphs, a...
166
click to vote
DLOG
2003
15 years 7 months ago
2003
We consider description logic knowledge bases in which the ABox can contain Boolean combinations of traditional ABox assertions (represented as clauses or sequents). A linear redu...
144
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The standard reasoning problem, concept satisfiability, in the basic description logic ALC is PSPACE-complete, and it is EXPTIMEcomplete in the presence of unrestricted axioms. Sev...
176
click to vote
ENTCS
2007
15 years 6 months ago
2007
Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational specifications. An extension of alg...