Applying an ALC ABox consistency tester to modal logic SAT problems

Link:
Autor/in:
Erscheinungsjahr:
1999
Medientyp:
Text
Schlagworte:
  • "Description Logics; Ontology; Imprecise Information"
  • "Database Systems; Ontology; Query Processing"
  • "Description Logics; Ontology; Imprecise Information"
  • "Database Systems; Ontology; Query Processing"
Lizenz:
  • info:eu-repo/semantics/closedAccess
Quellsystem:
Forschungsinformationssystem der UHH
Interne Metadaten
Quelldatensatz
oai:www.edit.fis.uni-hamburg.de:publications/67016584-8266-4deb-a8c3-aee32424566a