3793 search results - page 10 / 759 » Expressive Description Logics |
MEDINFO
2007
14 years 11 months ago
2007
Terminologies are increasingly based on “ontologies” developed in description logics and related languages such as the new Web Ontology Language, OWL. The use of description l...
CADE
2008
Springer
15 years 10 months ago
2008
Springer
Abstract. We consider the problem of computing the logical difference between distinct versions of description logic terminologies. For the lightweight description logic EL, we pre...
106
click to vote
DLOG
2007
15 years 4 days ago
2007
We compare and contrast Description Logic (DL) and Order-Sorted Feature (OSF) Logic from the perspective of using them for expressing and reasoning with knowledge structures of the...
DLOG
1998
14 years 11 months ago
1998
We consider two recently proposed definitions of the expressive power of description logics, one due to Baader, the other due to Kurtonina and de Rijke. The proposals are non-equi...
DLOG
2008
15 years 4 days ago
2008
Many visualization frameworks for ontologies in general and for concept expressions in particular are too faithful to the syntax of the languages in which those objects are represe...