364 search results - page 4 / 73 » Description Logics for Relative Terminologies |
IJCAI
2003
13 years 9 months ago
2003
Current Description Logic reasoning systems provide only limited support for debugging logically erroneous knowledge bases. In this paper we propose new non-standard reasoning ser...
DLOG
2003
13 years 9 months ago
2003
In a previous paper we have investigated subsumption in the presence of terminological cycles for the description logic EL, which allows conjunctions, existential restrictions, an...
DLOG
2003
13 years 9 months ago
2003
The purpose of this appendix is to introduce (in a compact manner) the syntax and semantics of the most prominent DLs occurring in this handbook. More information and explanations...
JAR
2007
13 years 7 months ago
2007
BMCBI
2007
13 years 8 months ago
2007
Background: An adequate and expressive ontological representation of biological organisms and their parts requires formal reasoning mechanisms for their relations of physical aggr...