Author of the publication

Approximating Linear Order Inference in OWL 2 DL by Horn Compilation.

, , , and . Web Intelligence, page 97-104. IEEE Computer Society, (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

Automated Reasoning., and . Encyclopedia of Big Data Technologies, Springer, (2019)Rewriting-Based Instance Retrieval for Negated Concepts in Description Logic Ontologies., and . ISWC (1), volume 9366 of Lecture Notes in Computer Science, page 339-355. Springer, (2015)Ranking Diagnoses for Inconsistent Knowledge Graphs by Representation Learning.. JIST, volume 11341 of Lecture Notes in Computer Science, page 52-67. Springer, (2018)A Noise-tolerant Differentiable Learning Approach for Single Occurrence Regular Expression with Interleaving., , , , , and . CoRR, (2022)PURLTL: Mining LTL Specification from Imperfect Traces in Testing., , , , , , , and . ASE, page 1766-1770. IEEE, (2023)A System for Searching Renting Houses Based on Relaxed Query Answering., , and . APWeb (2), volume 9932 of Lecture Notes in Computer Science, page 542-546. Springer, (2016)Implementation and Application of Fuzzy Case-Based Expert System., and . ICEIS (1), page 366-369. (2001)A System for Tractable Computation of Negative Answers to Conjunctive Queries., , , , and . CSWS, volume 480 of Communications in Computer and Information Science, page 56-66. Springer, (2014)An Ontology-Based System for Generating Mathematical Test Papers., , , , and . CSWS, volume 480 of Communications in Computer and Information Science, page 237-244. Springer, (2014)An Ultra-Low-Power Third-Order Frequency-to-Digital Converter for FM MEMS Gyroscope., , , , , , , and . IEEE SENSORS, page 1-4. IEEE, (2018)