( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Polynomial Rewritings from Expressive Description Logics with Closed Predicates to Variants of Datalog.

, , и . CoRR, (2019)

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.

Aldona Simkus

Mantas Lukosevicius

Apostolos Mantas

Mantas Navickas

Mantas Luko evi ius

 

Другие публикации лиц с тем же именем

Fusion of Logic Programming and Description Logics.. ICLP, том 5649 из Lecture Notes in Computer Science, стр. 551-552. Springer, (2009)Binary Frontier-Guarded ASP with Function Symbols.. RuleML, том 9202 из Lecture Notes in Computer Science, стр. 311-327. Springer, (2015)Explanations for Non-validation in SHACL., , , , , и . ISWC (Posters/Demos/Industry), том 2980 из CEUR Workshop Proceedings, CEUR-WS.org, (2021)Stable Model Semantics for Recursive SHACL., , , , , и . WWW, стр. 1570-1580. ACM / IW3C2, (2020)Well-founded Semantics for Recursive SHACL., и . Datalog, том 3203 из CEUR Workshop Proceedings, стр. 2-13. CEUR-WS.org, (2022)Reasoning about Explanations for Non-validation in SHACL., , , , , и . KR, стр. 12-21. (2021)Conjunctive Query Answering in SH using Knots., , и . Description Logics, том 353 из CEUR Workshop Proceedings, CEUR-WS.org, (2008)Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability., , , и . Description Logics, том 1193 из CEUR Workshop Proceedings, стр. 591-594. CEUR-WS.org, (2014)DL-Lite and Conjunctive Queries Extended by Optional Matching., , , , и . Description Logics, том 1350 из CEUR Workshop Proceedings, CEUR-WS.org, (2015)Semantic Querying of Integrated Raster and Relational Data: A Virtual Knowledge Graph Approach., , и . RuleML+RR (Companion), том 3485 из CEUR Workshop Proceedings, CEUR-WS.org, (2023)