Handling Boolean ABoxes

C. Areces, P. Blackburn, B. Martinez Hernandez, and M. Marx. Handling Boolean ABoxes. In Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy, 2003.

Download

[pdf] 

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 (al- lowing only conjunctive assertions) is described which preserves knowledge base satisfiability. Similar results are presented for Boolean TBoxes and Boolean com- binations of both ABox and TBox statements.

BibTeX

@InProceedings{Areces2003a,
  author =       "C. Areces and P. Blackburn and B. Martinez Hernandez
                 and M. Marx",
  booktitle =    "Proceedings of the 2003 International Workshop on
                 Description Logics (DL2003)",
  title =        "Handling Boolean {AB}oxes",
  year =         "2003",
  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 (al- lowing only conjunctive
                 assertions) is described which preserves knowledge base
                 satisfiability. Similar results are presented for
                 Boolean TBoxes and Boolean com- binations of both ABox
                 and TBox statements.",
  address =      "Rome, Italy",
  editor =       "D. Calvanese and G. De Giacomo and E. Franconi",
  series =       "CEUR - Workshop Proceedings",
  volume =       "81",
}