Results 1 -
2 of
2
Handling Boolean ABoxes
- In Proc. of the 2003 Description Logic Workshop (DL 2003) (2003), CEUR (http://ceur-ws.org
, 2003
"... 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 preserv ..."
Abstract
-
Cited by 8 (0 self)
- Add to MetaCart
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.
