Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

COOPIS
2002
IEEE

favoriteEmaildiscussreport

132views Information Technology» more COOPIS 2002»

A Defeasible Ontology Language

13 years 9 months ago

A Defeasible Ontology Language

Download tinf2.vub.ac.be

We extend the description logic ¢¤£¦¥¦§©¨ 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 ¢£¦¥§¨ . 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 usefully applied for learning and integrating ontologies.

Stijn Heymans, Dirk Vermeir

Real-time Traffic

COOPIS 2002 | Description Logic | Information System | Ontology Language | Order Certain Axioms |

claim paper

Related Content

» A Visual Environment for Developing Defeasible Rule Bases for the Semantic Web

» A Defeasible Logic Reasoner for the Semantic Web

» Using Preference Order in Ontologies

» Deploying defeasible logic rule bases for the semantic web

» A Nonmonotonic Rule System using Ontologies

» DRNEGOTIATE A System for Automated Agent Negotiation with Defeasible LogicBased Strategie...

» A Graphical Rule Authoring Tool for Defeasible Reasoning in the Semantic Web

» The Abnormality Predicate

» A Logic Programming Framework for Possibilistic Argumentation with Vague Knowledge

Post Info
More Details (n/a)

Added	14 Jul 2010
Updated	14 Jul 2010
Type	Conference
Year	2002
Where	COOPIS
Authors	Stijn Heymans, Dirk Vermeir

Comments (0)