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: topic_knowledge FIS_scads imported]
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: topic_knowledge FIS_scads imported]
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: topic_knowledge FIS_scads abstract argumentation, exploration, solution space visualization]
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: topic_knowledge FIS_scads MediaWiki, Wikibase, Wikidata, graph knowledge]
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: topic_knowledge topic_graph Acyclicity, Chase Core Existential FIS_scads Ontology Ontology-based Rule algorithm answering, dependencies, query reasoning, rules, stratification,]
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: topic_knowledge topic_graph Datalog, FIS_scads chase complexity, existential rules, standard terminating]
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: topic_knowledge FIS_scads concrete description domains, expressive logics, model power, theory]
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: topic_knowledge FIS_scads imported]
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: topic_knowledge FIS_scads belief change, description logic, ontology repair]
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: topic_knowledge FIS_scads imported]
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: topic_knowledge FIS_scads imported]
On the Abstract Expressive Power of Description Logics with Concrete Domains (Extended Version). LTCS-Report, Technische Universität Dresden, 2023. [PUMA: topic_knowledge FIS_scads imported]
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: topic_knowledge FIS_scads abstract binary decision diagrams, dialectical frameworks, rust-lang]
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: topic_knowledge FIS_scads imported]