9145 search results - page 74 / 1829 » Description Logic Systems |
113
click to vote
DLOG
2010
14 years 10 months ago
2010
Abstract. This paper investigates Description Logics which allow transitive closure of roles to occur not only in concept inclusion axioms but also in role inclusion axioms. First,...
92
Voted
DLOG
2009
14 years 10 months ago
2009
Abstract. Generalized closed world reasoning allows for the assumption of a specified maximal set of negated atomic assertions retaining the consistency of an indefinite knowledge ...
120
click to vote
CVPR
2012
IEEE
13 years 3 months ago
2012
IEEE
Modeling objects using formal grammars has recently regained much attention in computer vision. Probabilistic logic programming, such as Bilattice based Logical Reasoning (BLR), i...
119
click to vote
CADE
2008
Springer
16 years 27 days ago
2008
Springer
Abstract. Conjunctive query answering plays a prominent role in applications of description logics (DLs) that involve instance data, but its exact complexity was a long-standing op...
99
Voted
IJCAI
2007
15 years 2 months ago
2007
Abstract. We propose an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by using information provided by the knowledge...