Abstract is missing.
- Tracking Semantic Evolutionary Changes in Large-Scale Ontological Knowledge BasesZhao Liu, Chang Lu, Ghadah Alghamdi, Renate A. Schmidt, Yizheng Zhao. [doi]
- Reasoning about Explanations for Non-validation in SHACL (Extended Abstract)Shqiponja Ahmetaj, Robert David, Magdalena Ortiz, Axel Polleres, Bojken Shehu, Mantas Simkus. [doi]
- Locality Properties of Extensions of First-Order Logic and their Use in Algorithms (Abstract of Invited Talk)Nicole Schweikardt. [doi]
- Type Checking Semantically Lifted Programs via Query Containment under Entailment RegimesEduard Kamburjan, Egor V. Kostylev. [doi]
- Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning (Extended Abstract)Claudia Cauli, Meng Li, Nir Piterman, Oksana Tkachuk. [doi]
- Restricted Unification in the DL FL0 (Extended Abstract)Franz Baader, Oliver Fernández Gil, Maryam Rostamigiv. [doi]
- Musical Harmony Analysis with Description LogicsSpyridon Kantarelis, Edmund Dervakos, Natalia Kotsani, Giorgos Stamou. [doi]
- Cardinality Queries over DL-Lite Ontologies (Extended abstract)Meghyn Bienvenu, Quentin Manière, Michaël Thomazo. [doi]
- Restricted Unification in the DL ELFranz Baader, Maryam Rostamigiv. [doi]
- Finite-Controllability of Conjunctive Queries in the Z family of Description Logics (Extended Abstract)Bartosz Bednarczyk, Emanuel Kieronski. [doi]
- Union and Intersection of all Justifications (Extended Abstract)Jieying Chen, Rafael Peñaloza, Hui Yang. [doi]
- Counting Queries over ELHI⊥ OntologiesMeghyn Bienvenu, Quentin Manière, Michaël Thomazo. [doi]
- Tractable Compliance Checking with NegationPiero A. Bonatti, Luigi Sauro. [doi]
- A Connection Method for a Defeasible Extension of ALCRenan Fernandes, Fred Freitas, Ivan Varzinczak. [doi]
- Model-theoretic Characterizations of Rule-based OntologiesMarco Console, Phokion G. Kolaitis, Andreas Pieris. [doi]
- Repairing EL TBoxes by Means of Countermodels Obtained by Model TransformationWilli Hieke, Francesco Kriegel, Adrian Nuradiansyah. [doi]
- Unification in the Description Logic FL⊥Barbara Morawska 0001. [doi]
- The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2ExpTime-hard (Extended Abstract)Bartosz Bednarczyk, Sebastian Rudolph. [doi]
- ADaMaP: Automatic Alignment of Relational Data Sources using Mapping Patterns (Abstract)Diego Calvanese, Avigdor Gal, Naor Haba, Davide Lanti, Marco Montali, Alessandro Mosca 0001, Roee Shraga. [doi]
- Category-theoretical Semantics of the Description Logic ALCChan Le Duc. [doi]
- Perceptron Operators That CountPietro Galliani, Oliver Kutz, Nicolas Troquard. [doi]
- Metadata-based Term Selection for Modularization and Uniform Interpolation of OWL OntologiesXinhao Zhu, Xuan Wu, Ruiqing Zhao, Yu Dong, Yizheng Zhao. [doi]
- On Information Disclosure in Ontology-based Data Access (Extended Abstract)Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Domenico Fabio Savo. [doi]
- Logic-Guided Neural Utterance Generation from Drone Sensory Data (Extended Abstract)Stefan Borgwardt, Ernie Chang, Kathryn Chapman, Vera Demberg, Alisa Kovtunova, Hui-Syuan Yeh. [doi]
- Finite Model Theory of the Triguarded Fragment and Related Logics (Extended Abstract)Emanuel Kieronski, Sebastian Rudolph. [doi]
- Modelling Concept Interpolation in Description Logics using Abstract Betweenness RelationsSteven Schockaert, Yazmín Angélica Ibáñez-García, Víctor Gutiérrez-Basulto. [doi]
- Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract)Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova. [doi]
- Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Abstract)Patrick Koopmann. [doi]
- Weak Subsumption in the EL-Description Logic with Refreshing Variables (Extended Abstract)Theo Ducros, Marinette Bouet, Farouk Toumani. [doi]
- Empowering Knowledge Bases: a Machine Learning PerspectiveClaudia d'Amato. [doi]
- Upwardly Abstracted Definition-Based SubontologiesGhadah Alghamdi, Renate A. Schmidt, Warren Del-Pinto, Yongsheng Gao. [doi]
- In the Hand of the Beholder: Comparing Interactive Proof VisualizationsChristian Alrabbaa, Stefan Borgwardt, Nina Knieriemen, Alisa Kovtunova, Anna Milena Rothermel, Frederik Wiehr. [doi]
- In a Nutshell: Perceptron Connectives in Knowledge Representation (Extended Abstract)Pietro Galliani, Guendalina Righetti, Oliver Kutz, Daniele Porello, Nicolas Troquard. [doi]
- How to Approximate Ontology-Mediated Queries (Extended AbstractAnneke Haga, Carsten Lutz, Leif Sabellek, Frank Wolter. [doi]
- A Well-founded Graph-based Summarization Framework for Description LogicsCheikh Brahim El Vaigh, François Goasdoué. [doi]
- Enumerating Answers to Ontology-Mediated Queries: Partial Answers and Efficiency (Extended Abstract)Carsten Lutz, Marcin Przybylko. [doi]
- Making DL-Lite Planning Practical (Extended Abstract)Stefan Borgwardt, Jörg Hoffmann 0001, Alisa Kovtunova, Marcel Steinmetz. [doi]
- Geometric Models for (Temporally) Attributed Description LogicsCamille Bourgaux, Ana Ozaki, Jeff Z. Pan. [doi]
- Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract)Marie Fortin, Boris Konev, Frank Wolter. [doi]
- Learning and Reasoning with Logic Tensor Networks: the Framework and an ApplicationLuciano Serafini. [doi]
- Modeling Intentional States with Subsystems of ALCThomas Macaulay Ferguson. [doi]
- Navigating the EL Subsumption HierarchyFrancesco Kriegel. [doi]
- An Aleatoric Description Logic for Probabilistic ReasoningTim French 0002, Thomas Smoker. [doi]
- RSAComb: Combined Approach for CQ Answering in RSAFederico Igne, Stefano Germano, Ian Horrocks. [doi]
- Opening the Black-box: Deep Neural Networks as Weighted Conditional Knowledge Bases (Extended Abstract)Laura Giordano 0001, Daniele Theseider Dupré. [doi]
- Abstracting Temporal ABoxes in TDL-Lite (Extended Abstract)Sabiha Tahrat, Germán Alejandro Braun, Alessandro Artale, Ana Ozaki. [doi]
- An Upper Bound for Provenance in ELHrRafael Peñaloza. [doi]
- Actively Learning ELI Queries under DL-Lite OntologiesMaurice Funk, Jean Christoph Jung, Carsten Lutz. [doi]
- Ontology Alignment and the two DLsErnesto Jiménez-Ruiz. [doi]
- FO Rewritability for OMQ using Beth Definability and InterpolationDavid Toman, Grant E. Weddell. [doi]
- Temporal ABox Cleaning in TDL-LiteSabiha Tahrat, Salima Benbernou, Mourad Ouziri. [doi]
- Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security (Extended Abstract)Claudia Cauli, Magdalena Ortiz, Nir Piterman. [doi]
- Mining EL⊥ Bases with Adaptable Role Depth (Extended Abstract)Ricardo Guimarães 0001, Ana Ozaki, Cosimo Persia, Baris Sertkaya. [doi]
- SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Preliminary Results)Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali. [doi]
- Properties of Module Notions and Atomic Decomposition (Extended Abstract)Robin Nolte, Thomas Schneider 0002. [doi]
- Characterising Fixed Parameter Tractability of Query Evaluation Over Guarded TGDs (Extended Abstract)Cristina Feier. [doi]
- Revising Ontologies via Models: The ALC-formula CaseJandson S. Ribeiro, Ricardo Guimarães 0001, Ana Ozaki. [doi]
- DL-Lite Full: A Sub-language of OWL 2 Full for Powerful Meta-modelingZhenzhen Gu, Songmao Zhang. [doi]
- Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted EL TBoxFranz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza. [doi]