Handling Boolean ABoxes

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

Publikation: Bidrag til tidsskriftKonferenceartikelpeer 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.
OriginalsprogEngelsk
TidsskriftCEUR Workshop Proceedings
Vol/bind81
ISSN1613-0073
StatusUdgivet - 2003
Udgivet eksterntJa
Begivenhed2003 International Workshop on Description Logics, DL 2003 - Rome, Italien
Varighed: 5 sep. 20037 sep. 2003

Konference

Konference2003 International Workshop on Description Logics, DL 2003
Land/OmrådeItalien
ByRome
Periode05/09/200307/09/2003

Citer dette