441 search results - page 38 / 89 » Automated Benchmarking of Description Logic Reasoners |
DLOG
2006
13 years 11 months ago
2006
Abstract. Modern description logic (DL) reasoners are known to be less efficient for DLs with inverse roles. The current loss of performance is largely due to the missing applicabi...
DLOG
2008
14 years 3 hour ago
2008
Answering conjunctive queries (CQs) has been recognized as a key task for the usage of Description Logics (DLs) in a number of applications. The problem has been studied by many au...
DLOG
2008
14 years 3 hour ago
2008
Representing probabilistic knowledge in combination with a description logic has been a research topic for quite some time. In [1] one of such combinations is introduced. We presen...
DLOG
2008
14 years 3 hour ago
2008
A recurring problem in conceptual modelling and ontology development is the representation of part-whole relations, with a requirement to be able to distinguish between essential a...
DLOG
2003
13 years 11 months ago
2003
We propose a method to compare semantically two natural language texts. The process is realized in two steps, the first translates the texts into description logics terminologies...