2381 search results - page 3 / 477 » On Ordering Descriptions in a Description Logic |
DLOG
2009
13 years 3 months ago
2009
DLOG
2011
12 years 9 months ago
2011
CADE
2004
Springer
14 years 5 months ago
2004
Springer
TABLEAUX
2000
Springer
13 years 9 months ago
2000
Springer
mspass is an extension of the first-order theorem prover spass, which can be used as a modal logic theorem prover, a theorem prover for description logics and a theorem prover for ...
FUZZIEEE
2007
IEEE
13 years 11 months ago
2007
IEEE
— The Semantic Web can be viewed as largely about “Knowledge meets the Web”. Thus its vision includes ontologies and rules. A key requirement for the architecture of the Sema...