Subsumption in Finitely Valued Fuzzy EL

Autor: Borgwardt, Stefan, Cerami, Marco, Peñaloza, Rafael
Jazyk: angličtina
Rok vydání: 2015
Předmět:
Druh dokumentu: Report
Popis: Aus der Einleitung: Description Logics (DLs) are a family of knowledge representation formalisms that are successfully applied in many application domains. They provide the logical foundation for the Direct Semantics of the standard web ontology language OWL2. The light-weight DL EL, underlying the OWL2 EL profile, is of particular interest since all common reasoning problems are polynomial in this logic, and it is used in many prominent biomedical ontologies like SNOMEDCT and the Gene Ontology.
Databáze: Networked Digital Library of Theses & Dissertations