Modelling Object Typicality in Description Logics

Authors:
Katarina Britz;Johannes Heidema;Thomas Meyer
Affiliations:
KSG, Meraka Institute, CSIR, South Africa and School of Computing, University of South Africa,;Dept of Mathematical Sciences, University of South Africa,;KSG, Meraka Institute, CSIR, South Africa and School of Computing, University of South Africa,
Venue:
AI '09 Proceedings of the 22nd Australasian Joint Conference on Advances in Artificial Intelligence
Year:
2009

Citing 8
Cited 1

Reasoning about change: time and causation from the standpoint of artificial intelligence

Reasoning about change: time and causation from the standpoint of artificial intelligence
Nonmonotonic reasoning, preferential models and cumulative logics

Artificial Intelligence
Rationality, transitivity, and contraposition

Artificial Intelligence
What does a conditional knowledge base entail?

Artificial Intelligence
Description logics of minimal knowledge and negation as failure

ACM Transactions on Computational Logic (TOCL)
Reasoning about Typicality in Preferential Description Logics

JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Preferential description logics

LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Ontology with likeliness and typicality of objects in concepts

ER'06 Proceedings of the 25th international conference on Conceptual Modeling

Rational closure for defeasible description logics

JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a semantic model of typicality of concept members in description logics (DLs) that accords well with a binary, globalist cognitive model of class membership and typicality. We define a general preferential semantic framework for reasoning with object typicality in DLs. We propose the use of feature vectors to rank concept members according to their defining and characteristic features, which provides a modelling mechanism to specify typicality in composite concepts.