2381 search results - page 39 / 477 » On Ordering Descriptions in a Description Logic |
111
click to vote
IJCAI
2003
15 years 1 months ago
2003
Cyclic definitions in description logics have until now been investigated only for description logics allowing for value restrictions. Even for the most basic language which allow...
DLOG
1996
15 years 1 months ago
1996
Using quantitative models of simple mechanisms as an example domain, we show how the basic principles of consistency-based diagnosis can be implemented using description logics wi...
DLOG
2006
15 years 1 months ago
2006
Abstract Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the onto...
100
click to vote
KI
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Knowledge compilation is a common technique for propositional logic knowledge bases. The idea is to transform a given knowledge base into a special normal form ([MR03],[D...
ISEMANTICS
2010
15 years 1 months ago
2010
This paper gives an account of how traditional metadata application profiles are related to Web ontologies and Description Logics. It is shown that metadata profiles can be formal...