598 search results - page 16 / 120 » Optimized Reasoning in Description Logics Using Hypertableau... |
OTM
2007
Springer
15 years 3 months ago
2007
Springer
Practical scalability of Description Logic (DL) reasoning is an important premise for the adoption of OWL in a real-world setting. Many highly efficient optimizations for the DL ta...
102
click to vote
DLOG
2011
14 years 1 months ago
2011
We propose an extension of SROIQ with nominal schemas which can be used like “variable nominal concepts” within axioms. This feature allows us to express arbitrary DL-safe rule...
DLOG
2007
15 years 2 days ago
2007
We present cq-programs, which enhance nonmonotonic description logics (dl-) programs by conjunctive queries (CQ) and union of conjunctive queries (UCQ) over Description Logics kno...
128
click to vote
ICCBR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. This paper presents an algorithm of adaptation for a case-based reasoning system with cases and domain knowledge represented in the expressive description logic ALC. The ...
120
click to vote
AI
2008
Springer
14 years 10 months ago
2008
Springer
The work in this paper is directed towards sophisticated formalisms for reasoning under probabilistic uncertainty in ontologies in the Semantic Web. Ontologies play a central role...