Updating Description Logics using the AGM Theory

Giorgos Flouris; Dimitris Plexousakis; Grigoris Antoniou

Updating Description Logics using the AGM Theory

Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

We consider the use of belief change techniques to address the problem of updating Knowledge Bases (KBs) based on Description Logics (DLs). We focus on the feasibility of the application of the AGM theory in DL KBs, evaluate the difficulties of the approach and determine the applicability of the method in certain families of DLs. For those DLs that are found compatible with the AGM model, we also describe a contraction operator that satisfies the AGM postulates. Finally, as an application of interest in the area of the Semantic Web, we study OWL, a W3C recommendation, and show that it is incompatible with the AGM model.

Original language	English
Title of host publication	Proceedings of the 7th International Symposium on Logical Formalizations of Commonsense Reasoning
Publisher	Commonsense Reasoning
Number of pages	8
Publication status	Published - 22 May 2005
Externally published	Yes
Event	7th International Symposium on Logical Formalizations of Commonsense Reasoning, Commonsense 2005 - Corfu, Greece Duration: 22 May 2005 → 24 May 2005 Conference number: 7

Conference

Conference	7th International Symposium on Logical Formalizations of Commonsense Reasoning, Commonsense 2005
Country/Territory	Greece
City	Corfu
Period	22/05/05 → 24/05/05

Access to Document

http://commonsensereasoning.org/2005/flouris.pdfLicence: Unspecified

Cite this

@inproceedings{3bd309e8325143c4895ae15b32e6c7b6,

title = "Updating Description Logics using the AGM Theory",

abstract = "We consider the use of belief change techniques to address the problem of updating Knowledge Bases (KBs) based on Description Logics (DLs). We focus on the feasibility of the application of the AGM theory in DL KBs, evaluate the difficulties of the approach and determine the applicability of the method in certain families of DLs. For those DLs that are found compatible with the AGM model, we also describe a contraction operator that satisfies the AGM postulates. Finally, as an application of interest in the area of the Semantic Web, we study OWL, a W3C recommendation, and show that it is incompatible with the AGM model.",

keywords = "Updating Description Logics, AGM Theory, Knowledge Bases (KBs), Description Logics (DLs)",

author = "Giorgos Flouris and Dimitris Plexousakis and Grigoris Antoniou",

year = "2005",

month = may,

day = "22",

language = "English",

booktitle = "Proceedings of the 7th International Symposium on Logical Formalizations of Commonsense Reasoning",

publisher = "Commonsense Reasoning",

address = "United Kingdom",

note = "7th International Symposium on Logical Formalizations of Commonsense Reasoning, Commonsense 2005 ; Conference date: 22-05-2005 Through 24-05-2005",

}

Flouris, G, Plexousakis, D & Antoniou, G 2005, Updating Description Logics using the AGM Theory. in Proceedings of the 7th International Symposium on Logical Formalizations of Commonsense Reasoning. Commonsense Reasoning, 7th International Symposium on Logical Formalizations of Commonsense Reasoning, Commonsense 2005, Corfu, Greece, 22/05/05. <http://commonsensereasoning.org/2005/flouris.pdf>

TY - GEN

T1 - Updating Description Logics using the AGM Theory

AU - Flouris, Giorgos

AU - Plexousakis, Dimitris

AU - Antoniou, Grigoris

N1 - Conference code: 7

PY - 2005/5/22

Y1 - 2005/5/22

N2 - We consider the use of belief change techniques to address the problem of updating Knowledge Bases (KBs) based on Description Logics (DLs). We focus on the feasibility of the application of the AGM theory in DL KBs, evaluate the difficulties of the approach and determine the applicability of the method in certain families of DLs. For those DLs that are found compatible with the AGM model, we also describe a contraction operator that satisfies the AGM postulates. Finally, as an application of interest in the area of the Semantic Web, we study OWL, a W3C recommendation, and show that it is incompatible with the AGM model.

AB - We consider the use of belief change techniques to address the problem of updating Knowledge Bases (KBs) based on Description Logics (DLs). We focus on the feasibility of the application of the AGM theory in DL KBs, evaluate the difficulties of the approach and determine the applicability of the method in certain families of DLs. For those DLs that are found compatible with the AGM model, we also describe a contraction operator that satisfies the AGM postulates. Finally, as an application of interest in the area of the Semantic Web, we study OWL, a W3C recommendation, and show that it is incompatible with the AGM model.

KW - Updating Description Logics

KW - AGM Theory

KW - Knowledge Bases (KBs)

KW - Description Logics (DLs)

UR - http://www.scopus.com/inward/record.url?scp=84888315552&partnerID=8YFLogxK

UR - http://commonsensereasoning.org/2005/

M3 - Conference contribution

AN - SCOPUS:84888315552

BT - Proceedings of the 7th International Symposium on Logical Formalizations of Commonsense Reasoning

PB - Commonsense Reasoning

T2 - 7th International Symposium on Logical Formalizations of Commonsense Reasoning, Commonsense 2005

Y2 - 22 May 2005 through 24 May 2005

ER -

Updating Description Logics using the AGM Theory

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Cite this