Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles
- Link:
- Autor/in:
- Erscheinungsjahr:
- 1999
- Medientyp:
- Text
- Lizenz:
-
- info:eu-repo/semantics/openAccess
- Quellsystem:
- Forschungsinformationssystem der UHH
Interne Metadaten
- Quelldatensatz
- oai:www.edit.fis.uni-hamburg.de:publications/db4f5708-001f-4d59-b21e-94407a84bc29