Evonne: Interactive Proof Visualization for Description Logics (System Description). In Jasmin Blanchette, Laura Kovács, and Dirk Pattinson (Eds.), Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Proceedings, 271--280, Springer, Berlin u. a., Germany, 2022. [PUMA: FIS_scads imported topic_knowledge]
Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change. Proceedings of the ACM Symposium on Applied Computing, 983--990, Association for Computing Machinery, Mar 27, 2023. [PUMA: FIS_scads repair change, topic_knowledge logic, belief description ontology]
The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains. Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 754--761, Association for Computing Machinery (ACM), New York, United States of America, 2024. [PUMA: FIS_scads imported topic_knowledge]
Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability. ACM SIGAPP Applied Computing Review, (24)3:5–17, Association for Computing Machinery (ACM), New York, Oct 1, 2024. [PUMA: FIS_scads concrete logics, power, topic_knowledge model expressive domains, description theory]
Error-Tolerant Reasoning in ℰℒ w.r.t. Optimal ABox Repairs (Extended Abstract). Proceedings of the 36th International Workshop on Description Logics (DL 2023), Rhodes, Greece, September 2-4, 2023, CEUR-WS.org, Sep 2, 2023. [PUMA: FIS_scads imported topic_knowledge]
NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces. In Francesca Toni, Sylwia Polberg, Richard Booth, Martin Caminada, and Hiroyuki Kido (Eds.), Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022), (220146):116–127, IOS Press, Amsterdam u. a., Netherlands, Sep 1, 2022. [PUMA: FIS_scads topic_knowledge visualization exploration, solution argumentation, abstract space]
On the Abstract Expressive Power of Description Logics with Concrete Domains (Extended Version). LTCS-Report, Technische Universität Dresden, 2023. [PUMA: FIS_scads imported topic_knowledge]
On the Abstract Expressive Power of Description Logics with Concrete Domains. In Ana Ozaki, Carsten Lutz, and Oliver Kutz (Eds.), Proceedings of the 36th International Workshop on Description Logics, (3515)CEUR-WS.org, 2023. [PUMA: FIS_scads imported topic_knowledge]
The Precise Complexity of Reasoning in ALC with ω-Admissible Concrete Domains. In Laura Giordano, Jean Christoph Jung, and Ana Ozaki (Eds.), Proceedings of the 37th International Workshop on Description Logics (DL 2024), (3739)CEUR-WS.org, June 2024. [PUMA: FIS_scads imported topic_knowledge]
ADF - BDD : An ADF Solver Based on Binary Decision Diagrams. In Francesca Toni, Sylwia Polberg, Richard Booth, Martin Caminada, and Hiroyuki Kido (Eds.), Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022), (220146):355–356, IOS Press, Amsterdam u. a., Netherlands, Sep 1, 2022. [PUMA: FIS_scads dialectical diagrams, decision topic_knowledge binary rust-lang abstract frameworks,]
Efficient Dependency Analysis for Rule-Based Ontologies. In Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, and Claudia d’Amato (Eds.), The Semantic Web – ISWC 2022, 267 -- 283, Springer, Berlin u. a., Germany, Oct 16, 2022. [PUMA: FIS_scads Acyclicity, Ontology-based Ontology Existential query stratification, Chase reasoning, topic_knowledge topic_graph dependencies, Rule answering, Core algorithm rules,]
Efficient Axiomatization of OWL 2 EL Ontologies from Data by means of Formal Concept Analysis (Extended Abstract). In Laura Giordano, Jean Christoph Jung, and Ana Ozaki (Eds.), Proceedings of the 37th International Workshop on Description Logics (DL 2024), June 18--21, 2024, Bergen, Norway, RTWH Aachen, Jun 18, 2024. [PUMA: FIS_scads imported topic_knowledge]
Tuple-Generating Dependencies Capture Complex Values. In Dan Olteanu, and Nils Vortmeier (Eds.), Proceedings of the 25th International Conference on Database Theory (ICDT 2022), (220):13:1–13:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Mar 1, 2022. [PUMA: FIS_scads standard topic_knowledge topic_graph Datalog, terminating complexity, chase existential rules,]
Wikidata: The Making Of. In Ying Ding, Jie Tang, Juan F. Sequeda, Lora Aroyo, Carlos Castillo, and Geert-Jan Houben (Eds.), Companion Proceedings of the ACM Web Conference 2023 (WWW'23), 615–624, Association for Computing Machinery (ACM), New York, United States of America, Apr 30, 2023. [PUMA: FIS_scads Wikidata, topic_knowledge MediaWiki, knowledge Wikibase, graph]