@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",
}