54 search results - page 2 / 11 » Temporalising Tractable Description Logics |
JAPLL
2010
13 years 5 months ago
2010
Answering queries over an incomplete database w.r.t. a set of constraints is an important computational task with applications in fields as diverse as information integration and ...
AIME
2007
Springer
14 years 1 months ago
2007
Springer
Reification of parthood relations according to the SEP-triplet encoding pattern has been employed in the clinical terminology SNOMED CT to simulate transitivity of the part-of rel...
JURIX
2008
13 years 8 months ago
2008
The paper presents a logic-based approach to legislative meta-drafting. A class of meta-data, corresponding to specific classes of legal provisions, is introduced and discussed. Su...
AI
2011
Springer
13 years 2 months ago
2011
Springer
An important question for the upcoming Semantic Web is how to best combine open world ontology languages, such as the OWL-based ones, with closed world rule-based languages. One o...
CADE
2007
Springer
14 years 7 months ago
2007
Springer
We bring together two recent trends in description logic (DL): lightweight DLs in which the subsumption problem is tractable and conservative extensions as a central tool for forma...