Abstract
Ontologies play a central role in the development of the semantic web. One important web ontology language is DAML+OIL, it has a formal semantics and a reasoning support through a mapping to the expressive description logic SHOQ(D) with the addition of inverse roles. In this paper we present a nonmonotonic extension of the SHOQ(D), called N-SHOQ(D), to allow for dealing with incomplete knowledge in the semantic web.
| Original language | English |
|---|---|
| Pages (from-to) | 912-915 |
| Number of pages | 4 |
| Journal | Lecture Notes in Computer Science |
| Volume | 3007 |
| DOIs | |
| State | Published - 2004 |
| Externally published | Yes |