Handling Boolean ABoxes

Carlos Areces, Patrick Blackburn, Bernadette Martinez Hernandez, Maarten Marx

Research output: Contribution to journalConference articleResearchpeer-review

Abstract

We consider description logic knowledge bases in which the ABox can contain Boolean combinations of traditional ABox assertions (represented as clauses or sequents). A linear reduction of such knowledge bases into a standard format (allowing only conjunctive assertions) is described which preserves knowledge base satisfiability. Similar results are presented for Boolean TBoxes and Boolean combinations of both ABox and TBox statements.

Original languageEnglish
JournalCEUR Workshop Proceedings
Volume81
ISSN1613-0073
Publication statusPublished - 2003
Externally publishedYes
Event2003 International Workshop on Description Logics, DL 2003 - Rome, Italy
Duration: 5 Sep 20037 Sep 2003

Conference

Conference2003 International Workshop on Description Logics, DL 2003
Country/TerritoryItaly
CityRome
Period05/09/200307/09/2003

Cite this