1436 search results - page 103 / 288 » Description Logic Unplugged |
154
click to vote
COOPIS
2002
IEEE
15 years 9 months ago
2002
IEEE
We extend the description logic ¢¤£¦¥¦§©¨ with a preference order on the axioms. With this strict partial order certain axioms can be overruled, if defeated with more ...
122
click to vote
DLOG
2001
15 years 5 months ago
2001
daml+oil is a new description logic developed for use within the DAML project and as a submission to the upcoming W3C semantic web ontology working group. It is closely based on t...
132
click to vote
DLOG
1998
15 years 5 months ago
1998
This paper proposes a framework to learn concepts from di erent kinds of observations. We de ne a language to describe meta-concepts, that represent the sets of possible concepts ...
105
click to vote
CADE
2005
Springer
16 years 4 months ago
2005
Springer
Abstract. We describe the instance store, a system for reasoning about individuals (i.e., instances of classes) in OWL ontologies. By using a hybrid reasoner/database architecture,...
205
click to vote
FLAIRS
2009
15 years 2 months ago
2009
Knowledge compilation is a common technique for propositional logic knowledge bases. A given knowledge base is transformed into a normal form, for which queries can be answered ef...