Author of the publication

CHRONOS: A Reasoning Engine for Qualitative Temporal Information in OWL.

, , and . KES, volume 22 of Procedia Computer Science, page 70-77. Elsevier, (2013)

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

Legal Representation and Reasoning in Practice: A Critical Comparison., , , , and . JURIX, volume 313 of Frontiers in Artificial Intelligence and Applications, page 31-40. IOS Press, (2018)Taking stock of available technologies for compliance checking on first-order knowledge., , , , , , , , , and . CILC, volume 3204 of CEUR Workshop Proceedings, page 1-16. CEUR-WS.org, (2022)Answer Set Programming for Qualitative Spatio-Temporal Reasoning: Methods and Experiments., , and . ICLP (Technical Communications), volume 52 of OASIcs, page 4:1-4:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Modal Logic S5 in Answer Set Programming with Lazy Creation of Worlds., , and . LPNMR, volume 13416 of Lecture Notes in Computer Science, page 16-28. Springer, (2022)CHRONOS: Improving the Performance of Qualitative Temporal Reasoning in OWL., , and . ICTAI, page 309-315. IEEE Computer Society, (2014)Reasoning over 2D and 3D Directional Relations in OWL: A Rule-Based Approach.. RuleML, volume 8035 of Lecture Notes in Computer Science, page 37-51. Springer, (2013)Optimizing a Semantically Enriched Hypercat-enabled Internet of Things Data Hub., , , , , and . SSN@ISWC, volume 2213 of CEUR Workshop Proceedings, page 64-71. CEUR-WS.org, (2018)A Semantically Enriched Hypercat-enabled Internet of Things Data Hub., , , , , and . ISWC (Posters, Demos & Industry Tracks), volume 1963 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)The TOQL System., , , , and . SSTD, volume 5644 of Lecture Notes in Computer Science, page 450-454. Springer, (2009)CHRONOS: A Tool for Handling Temporal Ontologies in Protégé., , , and . ICTAI, page 460-467. IEEE Computer Society, (2012)