Searching for "Updating Description Logic ABoxes." – sorted by Relevance.
-
Updating description logic aboxes
- Updating Description Logic ABoxes Hongkai Liu 1 , Carsten Lutz 1 , Maja Miličić 1 , Frank Wolter 2
- Cited by 24 (1 self) – Add To MetaCart
-
Integrating Action Calculi and Description Logics
- Axioms In a recent paper, a method for updating Description Logic ABoxes has been proposed. Next we
- Cited by 1 (0 self) – Add To MetaCart

