1285 search results - page 67 / 257 » Description Logic Reasoner: System Description |
134
click to vote
LPAR
2007
Springer
15 years 7 months ago
2007
Springer
We study the data complexity of instance checking and conjunctive query answering in the EL family of description logics, with a particular emphasis on the boundary of tractability...
125
click to vote
OTM
2007
Springer
15 years 7 months ago
2007
Springer
The problem of inconsistency handling in ontologies has recently been attracting a lot of attention. When inconsistency occurs in an ontology, there are mainly two ways to deal wit...
117
click to vote
KR
2010
Springer
15 years 6 months ago
2010
Springer
Recent years have seen the advent of large and complex ontologies, most notably in the medical domain. As a consequence, structuring mechanisms for ontologies are nowadays viewed ...
124
click to vote
EON
2008
15 years 3 months ago
2008
One of the arguments for choosing description logics as the basis for the Web Ontology Language is the ability to support the development of complex ontologies through logical reas...
130
Voted
JACM
2010
15 years 1 days ago
2010
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual...