Handling Boolean ABoxes
| Author(s) : | Bernadette Martinez Hernandez Patrick Blackburn Carlos Areces Maarten Marx, |
| Publisher : | N/A |
| Publication Date : | 2003 |
| ISSN : | N/A |
| 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. 1, |