S. Heymans and D. Vermeir Dept. of Computer Science Free University of...  Home/Search
Context Related
Links: ACM DBLP | tinf2.vub.ac.be/~dve...odbase2002.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: tinf2.vub.ac.be/~dvermeir...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We extend the description logic SHOQ(D) with a preference order on the axioms. With this strict partial order certain axioms can be overruled, if defeated with more preferred ones. Furthermore, we impose a preferred model semantics, thus effectively introducing nonmonotonicity into SHOQ(D). Since a description logic can be viewed as an ontology language, or a proper translation of one, we obtain a defeasible ontology language. Finally, we argue that such a defeasible language may be... (Update)
Cited by: More
Integrating Semantic Web Reasoning and Answer Set Programming - Heymans, Vermeir (2003) (Correct)
Integrating Description Logics and Answer Set Programming - Heymans, Vermeir (2003) (Correct)
Active bibliography (related documents): More All
0.3: A Defeasible Ontology Language - Heymans And Vermeir (2002) (Correct)
0.1: Complex Alignments Between Ontology Universes - Alex Borgida Dept (Correct)
0.1: What's in an Attribute? - Consequences for the Least Common.. - Küsters, Borgida (2001) (Correct)
Similar documents based on text: More All
0.5: Using Preference Order in Ontologies - Heymans Vermeir Dept (2002) (Correct)
0.4: Integrating Ontology Languages and Answer Set Programming - Heymans, Vermeir (2003) (Correct)
0.3: Defeasible Logics - Geerts, Laenens, Vermeir (1998) (Correct)
Related documents from co-citation: More All
5: Reasoning about the past with two-way automata - Vardi - 1998
5: The Description Logic Handbook (context) - Baader, Calvanese et al. - 2002
5: OIL is not enough (context) - Bechhofer, Goble et al. - 2001
BibTeX entry: (Update)
S. Heymans and D. Vermeir. A Defeasible Ontology Language. In Robert Meersman and Zahir Tari et al., editors, Confederated International Conferences: CoopIS, DOA and ODBASE 2002. http://citeseer.ist.psu.edu/heymans02defeasible.html More
@misc{ heymans02defeasible,
author = "S. Heymans and D. Vermeir",
title = "A Defeasible Ontology Language",
text = "S. Heymans and D. Vermeir. A Defeasible Ontology Language. In Robert Meersman
and Zahir Tari et al., editors, Confederated International Conferences:
CoopIS, DOA and ODBASE 2002.",
year = "2002",
url = "citeseer.ist.psu.edu/heymans02defeasible.html" }
Citations (may not include all citations):318 Scientific American (context) - Berners-Lee, Hendler et al. - 2001
130 A scheme for integrating concrete domains into concept langu.. - Baader, Hanschke - 1991 DBLP
70 OilEd: a reasonable ontology editor for the semantic web - Bechhofer, Horrocks et al. - 2001
65 Description Logic Handbook (context) - Baader, McGuinness et al. - 2002
48 Embedding defaults into terminological knowledge representat.. - Baader, Hollunder - 1992 DBLP
30 How to prefer more specific defaults in terminological defau.. - Baader, Hollunder - 1993 DBLP
22 OIL is not enough (context) - Bechhofer, Goble et al. - 2001
12 Tableau algorithms for description logics - Baader, Sattler - 2000 ACM DBLP
7 What's not in a name: Some Properties of a Purely Structural.. - Borgida, Kusters - 2000 DBLP
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://tinf2.vub.ac.be/~dvermeir/papers/index.html): More
Robust Semantics for Argumentation Frameworks - Jakobovits, Vermeir (1999) (Correct)
Dialectic Semantics for Argumentation Frameworks - Jakobovits, Vermeir (1999) (Correct)
Choice logic programs and Nash equilibria in strategic games - De Vos, Vermeir (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC