Author of the publication

Undecidability of satisfiability in the algebra of finite binary relations with union, composition, and difference.

, , and . CoRR, (2014)

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

Expressivity issues in SPARQL: monotonicity and two-versus three-valued semantics., , and . Sci. China Inf. Sci., 61 (12): 129102:1-129102:3 (2018)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)Structure-sensitive semantic matching for aggregate question answering over knowledge base., , , , , , , and . J. Web Semant., (2022)KGDB: Knowledge Graph Database System with Unified Model and Query Language., , , , , and . Int. J. Softw. Informatics, 11 (1): 91-116 (2021)Forgetting for distance-based reasoning and repair in DL-Lite.. Knowl. Based Syst., (2016)Predicting Relations between RDF Entities by Multi-Order Interaction Neural Network., , , , and . ISWC (Satellites), volume 2456 of CEUR Workshop Proceedings, page 73-76. CEUR-WS.org, (2019)PRONA: A Plugin for Well-Designed Approximate Queries in Jena., , and . ISWC (Posters & Demos), volume 1690 of CEUR Workshop Proceedings, CEUR-WS.org, (2016)A Hybrid Similarity Computing Method for KBQA., and . ISWC (Demos/Industry), volume 2721 of CEUR Workshop Proceedings, page 335-339. CEUR-WS.org, (2020)gOWL: A Fast Ontology-Mediated Query Answering., , , , and . ISWC (P&D/Industry/BlueSky), volume 2180 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)