Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
25 Publications
2021 | Journal Article | LibreCat-ID: 52926
Dubslaff, Clemens, et al. “Enhancing Probabilistic Model Checking with Ontologies.” Formal Aspects Comput., vol. 33, no. 6, 2021, pp. 885–921, doi:10.1007/S00165-021-00549-0.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 52928
Alrabbaa, Christian, et al. “Counter Model Transformation for Explaining Non-Subsumption in EL.” Proceedings of the 7th Workshop on Formal and Cognitive Reasoning Co-Located with the 44th German Conference on Artificial Intelligence (KI 2021), September 28, 2021, edited by Christoph Beierle et al., vol. 2961, CEUR-WS.org, 2021, pp. 9–22.
LibreCat
2020 | Journal Article | LibreCat-ID: 52930
Baader, Franz, et al. “Semantic Technologies for Situation Awareness.” Künstliche Intell., vol. 34, no. 4, 2020, pp. 543–550, doi:10.1007/S13218-020-00694-3.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 52936
Dubslaff, Clemens, et al. “Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification.” Proceedings of the 33rd International Workshop on Description Logics (DL 2020) Co-Located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020, edited by Stefan Borgwardt and Thomas Meyer, vol. 2663, CEUR-WS.org, 2020.
LibreCat
2016 | Journal Article | LibreCat-ID: 52803
Borgwardt, Stefan, et al. “Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies.” Journal on Data Semantics, vol. 5, no. 2, Springer Science and Business Media LLC, 2016, pp. 55–75, doi:10.1007/s13740-015-0055-y.
LibreCat
| DOI