Author of the publication

A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices.

, and . RR, volume 7497 of Lecture Notes in Computer Science, page 9-24. Springer, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies., , , and . CoRR, (2015)Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification., , and . Logical Methods in Computer Science, (2016)Reasoning in Infinitely Valued G-IALCQ., and . CoRR, (2015)Temporal query entailment in the Description Logic SHQ., , and . J. Web Semant., (2015)Finite Lattices Do Not Make Reasoning in ALCOI Harder., and . URSW (LNCS Vol.), volume 8816 of Lecture Notes in Computer Science, page 122-141. Springer, (2014)Temporal Query Answering in DL-Lite with Negation., and . GCAI, volume 36 of EPiC Series in Computing, page 51-65. EasyChair, (2015)Recent Advances in Unification for the EL Family., , and . UNIF, volume 24 of EPiC Series in Computing, page 1-6. EasyChair, (2012)The Complexity of Lattice-Based Fuzzy Description Logics., and . J. Data Semantics, 2 (1): 1-19 (2013)The complexity of fuzzy EL under the Łukasiewicz T-norm., , and . Int. J. Approx. Reasoning, (2017)Łukasiewicz Fuzzy EL is Undecidable., , and . Description Logics, volume 1879 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)