20 search results - page 1 / 4 » An Approach to Subsumption in a DL with Implication |
DLOG
1996
13 years 6 months ago
1996
Designing a DL system poses the problem of the trade-o between power of expression and complexity. In spite of their rich expressive capacity, the or and not constructors are usua...
TABLEAUX
2005
Springer
13 years 10 months ago
2005
Springer
This paper describes the implementation of a tableau-based reasoning component which is capable of providing quasi natural language explanations for subsumptions within ALEHFR+ TBo...
ASWC
2008
Springer
13 years 7 months ago
2008
Springer
Finding the justifications for an entailment (i.e., minimal sets of axioms responsible for it) is a prominent reasoning service in ontology engineering, as justifications facilitat...
AAAI
1998
13 years 6 months ago
1998
In this paper we present a fuzzy version of SHOIN(D), the corresponding Description Logic of the ontology description language OWL DL. We show that the representation and reasonin...
AAAI
2008
13 years 7 months ago
2008
In this paper, we present a normal form for concept expressions in the description logic ALC which is based on a recently introduced notion of prime implicate for the modal logic ...