322 search results - page 33 / 65 » Practical Reasoning for Expressive Description Logics |
138
click to vote
IJCAI
1997
15 years 3 months ago
1997
We address the problem of introducing preferences into default logic. Two approaches are given, one a generalisation of the other. In the first approach, an ordered default theory...
138
Voted
ENTCS
2002
15 years 1 months ago
2002
In this work we provide a semantic description of functional logic languages covering notions like laziness, sharing, and non-determinism. Such a semantic description is essential...
153
click to vote
EDBT
2002
ACM
16 years 2 months ago
2002
ACM
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precise...
110
click to vote
ER
2006
Springer
15 years 5 months ago
2006
Springer
Transitive propagation along properties can be modelled in various ways in the OWL description logic. Doing so allows existing description logic reasoners based on the tableaux alg...
LPAR
2010
Springer
14 years 11 months ago
2010
Springer
Unification in Description Logics has been proposed as a novel inference service that can, for example, be used to detect redundancies in ontologies. In a recent paper, we have sho...