Author of the publication

Tractable Computation of Representative ABox Repairs in Description Logic Ontologies.

, and . KSEM, volume 9403 of Lecture Notes in Computer Science, page 28-39. Springer, (2015)

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

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)Computing minimum cost diagnoses to repair populated DL-based ontologies., and . WWW, page 565-574. ACM, (2008)An Ultra-Low-Power Third-Order Frequency-to-Digital Converter for FM MEMS Gyroscope., , , , , , , and . IEEE SENSORS, page 1-4. IEEE, (2018)FL-MSRE: A Few-Shot Learning based Approach to Multimodal Social Relation Extraction., , , , , and . AAAI, page 13916-13923. AAAI Press, (2021)A Tractable Approach to ABox Abduction over Description Logic Ontologies., , and . AAAI, page 1034-1040. AAAI Press, (2014)Practical TBox Abduction Based on Justification Patterns., , and . AAAI, page 1100-1106. AAAI Press, (2017)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)Checking LTL Satisfiability via End-to-end Learning., , , , and . ASE, page 21:1-21:13. ACM, (2022)