Checkable Domain Management with Ontology and Rules.

Atif Alvi, David J. Greaves

Browse the full ICIW paper archive.