Handling Boolean ABoxes

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

Handling Boolean ABoxes

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

Research output: Contribution to journal › Conference article › Research › peer-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 language	English
Journal	CEUR Workshop Proceedings
Volume	81
ISSN	1613-0073
Publication status	Published - 2003
Externally published	Yes
Event	2003 International Workshop on Description Logics, DL 2003 - Rome, Italy Duration: 5 Sept 2003 → 7 Sept 2003

Conference

Conference	2003 International Workshop on Description Logics, DL 2003
Country/Territory	Italy
City	Rome
Period	05/09/2003 → 07/09/2003

Cite this

@inproceedings{4f70f508696c43209d4bce57eb768922,

title = "Handling Boolean ABoxes",

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.",

author = "Carlos Areces and Patrick Blackburn and Hernandez, {Bernadette Martinez} and Maarten Marx",

year = "2003",

language = "English",

volume = "81",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

note = "2003 International Workshop on Description Logics, DL 2003 ; Conference date: 05-09-2003 Through 07-09-2003",

}

TY - GEN

T1 - Handling Boolean ABoxes

AU - Areces, Carlos

AU - Blackburn, Patrick

AU - Hernandez, Bernadette Martinez

AU - Marx, Maarten

PY - 2003

Y1 - 2003

N2 - 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.

AB - 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.

M3 - Conference article

AN - SCOPUS:84992625586

SN - 1613-0073

VL - 81

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

T2 - 2003 International Workshop on Description Logics, DL 2003

Y2 - 5 September 2003 through 7 September 2003

ER -