Handling Boolean ABoxes

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

Handling Boolean ABoxes

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

Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › 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.

Originalsprog	Engelsk
Tidsskrift	CEUR Workshop Proceedings
Vol/bind	81
ISSN	1613-0073
Status	Udgivet - 2003
Udgivet eksternt	Ja
Begivenhed	2003 International Workshop on Description Logics, DL 2003 - Rome, Italien Varighed: 5 sep. 2003 → 7 sep. 2003

Konference

Konference	2003 International Workshop on Description Logics, DL 2003
Land/Område	Italien
By	Rome
Periode	05/09/2003 → 07/09/2003

KB link

Søg efter materialet på Det Kgl. Bibliotek

Citationsformater

@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 -