238 search results - page 10 / 48 » Proof-Theoretic Approach to Description-Logic |
DLOG
2009
13 years 7 months ago
2009
Abstract. The paper describes how interpretations of multimedia documents can be formally derived using abduction over domain knowledge represented in an ontology. The approach use...
ECSQARU
2007
Springer
14 years 3 months ago
2007
Springer
In this paper, we propose an approach for measuring inconsistency in inconsistent ontologies. We first define the degree of inconsistency of an inconsistent ontology using a four...
JELIA
2010
Springer
13 years 7 months ago
2010
Springer
In the field of non-monotonic logics, the notion of rational closure is acknowledged as a landmark, and we are going to see that such a construction can be characterised by means o...
ML
2010
ACM
13 years 4 months ago
2010
ACM
With the advent of the Semantic Web, description logics have become one of the most prominent paradigms for knowledge representation and reasoning. Progress in research and applica...
KRDB
2003
13 years 11 months ago
2003
Motivated by the possibilities of applying deductive database technology for efficient query answering in description logics, we present a translation operator µ that transforms...