Author of the publication

A Tableau Algorithm for Handling Inconsistency in OWL.

, , and . ESWC, volume 5554 of Lecture Notes in Computer Science, page 399-413. Springer, (2009)

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

Quasi-Classical Description Logic., and . J. Multiple Valued Log. Soft Comput., 18 (3-4): 291-327 (2012)hMDAP: A Hybrid Framework for Multi-paradigm Data Analytical Processing on Spark., , and . CoRR, (2017)Path discovery by Querying the federation of Relational Database and RDF Graph., , , , and . CoRR, (2016)Undecidability of satisfiability in the algebra of finite binary relations with union, composition, and difference., , and . CoRR, (2014)On the satisfiability problem for SPARQL patterns., and . CoRR, (2014)Expressivity issues in SPARQL: monotonicity and two-versus three-valued semantics., , and . Sci. China Inf. Sci., 61 (12): 129102:1-129102:3 (2018)Forgetting for distance-based reasoning and repair in DL-Lite.. Knowl. Based Syst., (2016)Structure-sensitive semantic matching for aggregate question answering over knowledge base., , , , , , , and . J. Web Semant., (2022)Re-embedding Difficult Samples via Mutual Information Constrained Semantically Oversampling for Imbalanced Text Classification., , , , , , and . EMNLP (1), page 3148-3161. Association for Computational Linguistics, (2021)KGDB: Knowledge Graph Database System with Unified Model and Query Language., , , , , and . Int. J. Softw. Informatics, 11 (1): 91-116 (2021)