3793 search results - page 42 / 759 » Expressive Description Logics |
CADE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper table...
CADE
2001
Springer
15 years 10 months ago
2001
Springer
DLOG
2007
15 years 7 days ago
2007
Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics (DLs) as an exten...
DLOG
2008
15 years 7 days ago
2008
Abstract. We investigate the concept product as an expressive feature for description logics (DLs). While this construct allows us to express an arguably very common and natural ty...
117
click to vote
DEXAW
2003
IEEE
15 years 3 months ago
2003
IEEE
We integrate ontology languages and logic programming (LP) by extending disjunctive logic programs (DLPs) and their semantics in order to support inverses and an infinite univers...