Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles

Link:
Autor/in:
Beteiligte Personen:
  • Giunchiglia, Fausto
  • Selman, Bart
Verlag/Körperschaft:
Elsevier/MK, Morgan Kaufmann
Erscheinungsjahr:
2000
Medientyp:
Text
Lizenz:
  • info:eu-repo/semantics/restrictedAccess
Quellsystem:
Forschungsinformationssystem der UHH
Interne Metadaten
Quelldatensatz
oai:www.edit.fis.uni-hamburg.de:publications/96f19e11-83ec-4930-bf07-e7e8e121e1a5