3758 search results - page 34 / 752 » A Complete Subsumption Algorithm |
109
Voted
ASWC
2008
Springer
15 years 2 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...
126
Voted
ISTA
2003
15 years 1 months ago
2003
: Reported is the methodology of the semantic transformation of an initial user’s search query in the form of key words or key phrases to the resulting query composed of the rele...
108
Voted
AICOM
2006
15 years 19 days ago
2006
This paper introduces a compact representation which helps to avoid the exponential blow-up in space of the Least Common Subsumer (lcs) of two ALEconcept descriptions. Based on th...
70
Voted
ENTCS
2006
15 years 17 days ago
2006
This paper presents a three-step approach for interoperabilising heterogeneous semantic resources. Firstly, we construct homogeneous representations of these resources in a pivot ...
96
Voted
KI
2006
Springer
15 years 15 days ago
2006
Springer
Motivated by a chemical process engineering application, we introduce a new concept constructor in Description Logics (DLs), an n-ary variant of the existential restriction constr...