Search results for "Description Logics"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Gabriele Sacco, Loris Bozzato, Oliver Kutz	Defeasible Reasoning with Prototype Descriptions: First Steps.	Description Logics	2023	DBLP BibTeX RDF
1	Shqiponja Ahmetaj, Magdalena Ortiz 0001, Anouk Michelle Oudshoorn, Mantas Simkus	Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF
1	Nofar Carmeli	Accessing Answers to Conjunctive Queries with Ideal Time Guarantees (Abstract of Invited Talk).	Description Logics	2023	DBLP BibTeX RDF
1	Sanja Lukumbuzya, Magdalena Ortiz 0001, Mantas Simkus	On the Expressive Power of Ontology-Mediated Queries: Capturing coNP.	Description Logics	2023	DBLP BibTeX RDF
1	Rafael Peñaloza	Semiring Provenance in Expressive Description Logics.	Description Logics	2023	DBLP BibTeX RDF
1	Spyridon Kantarelis, Edmund Dervakos, Giorgos Stamou	The Music Part Ontology (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF
1	Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev	A Decidable Temporal DL-Lite Logic with Undecidable First-Order and Datalog-rewritability of Ontology-Mediated Atomic Queries (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF
1	Ignacio Huitzil, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca	ASP-based Axiom Pinpointing for Description Logics.	Description Logics	2023	DBLP BibTeX RDF
1	Alessandro Artale, Andrea Mazzullo	Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF
1	Jakub Kloc, Martin Homola, Júlia Pukancová	DL Abduction API v2 and GUI Interface (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF
1	Franz Baader	Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF
1	Ying Li 0029, Patrick Lambrix	Repairing EL⊥ Ontologies using Debugging, Weakening and Completing (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF
1	Francesca Toni	Knowledge Representation and Reasoning in the Time of Data-Centric AI (Abstract of Invited Talk).	Description Logics	2023	DBLP BibTeX RDF
1	Claudia d'Amato, Francesco Benedetti, Nicola Fanizzi	Efficient Explanation of Predictions on DL Knowledge Graphs through Enhanced Similarity Search.	Description Logics	2023	DBLP BibTeX RDF
1	Anni-Yasmin Turhan	Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk).	Description Logics	2023	DBLP BibTeX RDF
1	Stefan Borgwardt, Steffen Breuer, Alisa Kovtunova	Computing ABox Justifications for Query Answers via Datalog Rewriting.	Description Logics	2023	DBLP BibTeX RDF
1	Nikola Dragovic, Cem Okulmus, Magdalena Ortiz 0001	Rewriting Ontology-Mediated Navigational Queries into Cypher.	Description Logics	2023	DBLP BibTeX RDF
1	Franz Baader, Francesco Kriegel, Adrian Nuradiansyah	Error-Tolerant Reasoning in EL w.r.t. Optimal ABox Repairs (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF
1	Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev	Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF
1	Janka Boborová, Iveta Balintová, Júlia Pukancová, Martin Homola	Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF
1	Oliver Fernández Gil, Pavlos Marantidis	Towards Extending the Description Logic FL0 with Threshold Concepts Using Weighted Tree Automatas.	Description Logics	2023	DBLP BibTeX RDF
1	Piero A. Bonatti, Gianluca Cima, Domenico Lembo, Lorenzo Marconi 0002, Riccardo Rosati 0001, Luigi Sauro, Domenico Fabio Savo	Dynamic Controlled Query Evaluation over DL-Lite Ontologies (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF
1	Mario Alviano, Laura Giordano 0001, Daniele Theseider Dupré	Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF
1	Moritz Illich, Birte Glimm	Fully Dynamic Materialization Maintenance.	Description Logics	2023	DBLP BibTeX RDF
1	Hui Yang, Patrick Koopmann, Yue Ma 0009, Nicole Bidoit	Efficient Computation of General Modules for ALC Ontologies (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF
1	Piero A. Bonatti, Federica Di Stefano 0001, Magdalena Ortiz 0001, Mantas Simkus	Circumscription in DL-Lite: Progress Report.	Description Logics	2023	DBLP BibTeX RDF
1	Lukas Gerlach 0002, David Carral	General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF
1	Fabiola Hodo, Sai Pranav, Baris Sertkaya	Clustering Knowledge Graphs Using Concept Lattices (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF
1	Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz	SAT-based PAC Learning of Description Logic Concepts (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF
1	Axel Mascaro, Christophe Rey	Commonality Subtraction Operator for the EL Description Logic.	Description Logics	2023	DBLP BibTeX RDF
1	Oliver Kutz, Carsten Lutz, Ana Ozaki (eds.)	Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023.	Description Logics	2023	DBLP BibTeX RDF
1	Tomás Bisták, Peter Svec, Ján Kluka, Alexander Simko, Stefan Balogh, Martin Homola	Improving DL-Learner on a Malware Detection Use Case.	Description Logics	2023	DBLP BibTeX RDF
1	Ildar Baimuratov, Elena Lisanyuk, Dmitry Prokudin	Dispute Resolution with OWL DL and Reasoning.	Description Logics	2023	DBLP BibTeX RDF
1	Joshua Hirschbrunn, Yevgeny Kazakov	Description Logics Go Second-Order - Extending EL with Universally Quantified Concepts.	Description Logics	2023	DBLP BibTeX RDF
1	Carsten Lutz, Quentin Manière, Robin Nolte	Querying Circumscribed Description Logic Knowledge Bases (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF
1	Franz Baader, Filippo De Bortoli	On the Abstract Expressive Power of Description Logics with Concrete Domains.	Description Logics	2023	DBLP BibTeX RDF
1	Tobias John, Patrick Koopmann	Towards Ontology-Mediated Planning with OWL DL Ontologies.	Description Logics	2023	DBLP BibTeX RDF
1	Davide Lanti, Alessandro Mosca 0001, Diego Calvanese, Marco Montali	Direct Mappings under the Lens of Information Capacity (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF
1	Roland Bernard, Oliver Kutz, Nicolas Troquard	Making Axiom Weakening Work in SROIQ.	Description Logics	2023	DBLP BibTeX RDF
1	Eva Feng, Alexander Borgida, Enrico Franconi, Peter F. Patel-Schneider, David Toman 0001, Grant E. Weddell	Path Description Dependencies in Feature-Based DLs.	Description Logics	2023	DBLP BibTeX RDF
1	Björn Gehrke, Till Mossakowski	Extending OWL2 Manchester Syntax to Include Missing Features from OWL2 Abstract Syntax.	Description Logics	2023	DBLP BibTeX RDF
1	Ricardo Guimarães 0001, Ana Ozaki, Jandson S. Ribeiro	Eviction and Reception for Description Logic Ontologies (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF
1	Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Mikhail Kotlov	Why Not? Explaining Missing Entailments with Evee.	Description Logics	2023	DBLP BibTeX RDF
1	Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß	Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract).	Description Logics	2022	DBLP BibTeX RDF
1	Birte Glimm, Yevgeny Kazakov	SAT-Based Axiom Pinpointing Revisited.	Description Logics	2022	DBLP BibTeX RDF
1	Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez 0001, Alexej Popovic	On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne.	Description Logics	2022	DBLP BibTeX RDF
1	Ludovic Brieulle, Chan Le Duc, Pascal Vaillant	Reasoning in the Description Logic ALC under Category Semantics (Extended Abstract).	Description Logics	2022	DBLP BibTeX RDF
1	Pierre Marquis	Rectifying Classifiers (Joint DL+NMR Invited Talk Abstract).	Description Logics	2022	DBLP BibTeX RDF
1	Mostafa Sakr, Renate A. Schmidt	Fine-Grained Forgetting for the Description Logic ALC.	Description Logics	2022	DBLP BibTeX RDF
1	Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass	Modelling Multiple Perspectives by Standpoint-Enhanced DLs (Extended Abstract).	Description Logics	2022	DBLP BibTeX RDF
1	Alexander Borgida, Enrico Franconi, David Toman 0001, Grant E. Weddell	Accessing Document Data Sources using Referring Expression Types.	Description Logics	2022	DBLP BibTeX RDF
1	Stefan Borgwardt, Jörg Hoffmann 0001, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz	Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract).	Description Logics	2022	DBLP BibTeX RDF
1	Jean Christoph Jung, Andrea Mazzullo, Frank Wolter	More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions.	Description Logics	2022	DBLP BibTeX RDF
1	Bartosz Bednarczyk, Mateusz Urbanczyk	Comonadic Semantics for Description Logics Games.	Description Logics	2022	DBLP BibTeX RDF
1	Renate A. Schmidt	Knowledge Extraction Based on Forgetting and Subontology Generation (DL Invited Talk Abstract).	Description Logics	2022	DBLP BibTeX RDF
1	Meghyn Bienvenu, Quentin Manière, Michaël Thomazo	Complexity Landscape for Counting Queries (Extended Abstract).	Description Logics	2022	DBLP BibTeX RDF
1	Guendalina Righetti, Daniele Porello, Roberto Confalonieri 0001	Evaluating the Interpretability of Tooth Expressions (Extended Abstract).	Description Logics	2022	DBLP BibTeX RDF
1	Tim Lyon, Jonas Karge	Uniform and Modular Sequent Systems for Description Logics.	Description Logics	2022	DBLP BibTeX RDF
1	Zhenzhen Gu, Davide Lanti, Alessandro Mosca 0001, Guohui Xiao 0001, Jing Xiong, Diego Calvanese	Ontology-based Data Federation (Extended Abstract).	Description Logics	2022	DBLP BibTeX RDF
1	Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev	Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract).	Description Logics	2022	DBLP BibTeX RDF
1	Martin Homola, Júlia Pukancová, Iveta Balintová, Janka Boborová	Hybrid MHS-MXP ABox Abduction Solver: First Empirical Results.	Description Logics	2022	DBLP BibTeX RDF
1	Zuzana Hlávková, Martin Homola, Patrick Koopmann, Júlia Pukancová	An API for DL Abduction Solvers.	Description Logics	2022	DBLP BibTeX RDF
1	Loris Bozzato, Thomas Eiter, Rafael Kiesel	Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (Extended Abstract).	Description Logics	2022	DBLP BibTeX RDF
1	Moritz Illich, Birte Glimm	Computing Concept Referring Expressions with Standard OWL Reasoners.	Description Logics	2022	DBLP BibTeX RDF
1	Birte Glimm, Yevgeny Kazakov, Michael Welt	Concept Abduction for Description Logics.	Description Logics	2022	DBLP BibTeX RDF
1	Jing Xiong, Guohui Xiao 0001, Tahir Emre Kalayci, Marco Montali, Zhenzhen Gu, Diego Calvanese	Extraction of Object-Centric Event Logs through Virtual Knowledge Graphs (Extended Abstract).	Description Logics	2022	DBLP BibTeX RDF
1	Maurice Funk, Jean Christoph Jung, Carsten Lutz	Exact Learning of ELI Queries in the Presence of DL-Lite-Horn Ontologies.	Description Logics	2022	DBLP BibTeX RDF
1	Sebastian Rudolph	Charting the Borderland - Decidability in Description Logics and Beyond (DL Invited Talk Abstract).	Description Logics	2022	DBLP BibTeX RDF
1	Meghyn Bienvenu, Camille Bourgaux	Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments (Extended Abstract).	Description Logics	2022	DBLP BibTeX RDF
1	Faiq Miftakhul Falakh, Sebastian Rudolph	AGM Revision in Description Logics Under Fixed-Domain Semantics.	Description Logics	2022	DBLP BibTeX RDF
1	Laura Giordano 0001, Alberto Martelli, Daniele Theseider Dupré	Reasoning about Actions with EL Ontologies in a Temporal Action Theory (Extended Abstract).	Description Logics	2022	DBLP BibTeX RDF
1	Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova	Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies.	Description Logics	2022	DBLP BibTeX RDF
1	Bernardo Alkmim, Edward Hermann Haeusler, Cláudia Nalon	A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals.	Description Logics	2022	DBLP BibTeX RDF
1	Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah	Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract).	Description Logics	2022	DBLP BibTeX RDF
1	Haoruo Zhao, Bijan Parsia, Uli Sattler	Next Steps for ReAD: Modules for Classification Optimisation.	Description Logics	2022	DBLP BibTeX RDF
1	Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier (eds.)	Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022.	Description Logics	2022	DBLP BibTeX RDF
1	Philippe Balbiani, Martín Diéguez, Çigdem Gencer	Advanced Languages of Terms for Ontologies.	Description Logics	2022	DBLP BibTeX RDF
1	Satyadharma Tirtarasa, Anni-Yasmin Turhan	A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract).	Description Logics	2022	DBLP BibTeX RDF
1	Thomas Eiter	Hybrid Answer Set Programming: Opportunities and Challenges (Joint DL+NMR Invited Talk Abstract).	Description Logics	2022	DBLP BibTeX RDF
1	Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach	Connection-Minimal Abduction in EL via Translation to FOL (Extended Abstract).	Description Logics	2022	DBLP BibTeX RDF
1	Federica Di Stefano 0001, Magdalena Ortiz 0001, Mantas Simkus	Pointwise Circumscription in Description Logics.	Description Logics	2022	DBLP BibTeX RDF
1	Jandson S. Ribeiro, Ricardo Guimarães 0001, Ana Ozaki	Revising Ontologies via Models: The ALC-formula Case.	Description Logics	2021	DBLP BibTeX RDF
1	Zhao Liu, Chang Lu, Ghadah Alghamdi, Renate A. Schmidt, Yizheng Zhao	Tracking Semantic Evolutionary Changes in Large-Scale Ontological Knowledge Bases.	Description Logics	2021	DBLP BibTeX RDF
1	Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza	Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted EL TBox.	Description Logics	2021	DBLP BibTeX RDF
1	Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova	Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract).	Description Logics	2021	DBLP BibTeX RDF
1	Eduard Kamburjan, Egor V. Kostylev	Type Checking Semantically Lifted Programs via Query Containment under Entailment Regimes.	Description Logics	2021	DBLP BibTeX RDF
1	Claudia d'Amato	Empowering Knowledge Bases: a Machine Learning Perspective.	Description Logics	2021	DBLP BibTeX RDF
1	Stefan Borgwardt, Jörg Hoffmann 0001, Alisa Kovtunova, Marcel Steinmetz	Making DL-Lite Planning Practical (Extended Abstract).	Description Logics	2021	DBLP BibTeX RDF
1	Carsten Lutz, Marcin Przybylko	Enumerating Answers to Ontology-Mediated Queries: Partial Answers and Efficiency (Extended Abstract).	Description Logics	2021	DBLP BibTeX RDF
1	Gianluca Cima, Domenico Lembo, Lorenzo Marconi 0002, Riccardo Rosati 0001, Domenico Fabio Savo	On Information Disclosure in Ontology-based Data Access (Extended Abstract).	Description Logics	2021	DBLP BibTeX RDF
1	Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali	SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Preliminary Results).	Description Logics	2021	DBLP BibTeX RDF
1	Chan Le Duc	Category-theoretical Semantics of the Description Logic ALC.	Description Logics	2021	DBLP BibTeX RDF
1	Bartosz Bednarczyk, Emanuel Kieronski	Finite-Controllability of Conjunctive Queries in the Z family of Description Logics (Extended Abstract).	Description Logics	2021	DBLP BibTeX RDF
1	Marco Console, Phokion G. Kolaitis, Andreas Pieris	Model-theoretic Characterizations of Rule-based Ontologies.	Description Logics	2021	DBLP BibTeX RDF
1	Robin Nolte, Thomas Schneider 0002	Properties of Module Notions and Atomic Decomposition (Extended Abstract).	Description Logics	2021	DBLP BibTeX RDF
1	Meghyn Bienvenu, Quentin Manière, Michaël Thomazo	Counting Queries over ELHI⊥ Ontologies.	Description Logics	2021	DBLP BibTeX RDF
1	David Toman 0001, Grant E. Weddell	FO Rewritability for OMQ using Beth Definability and Interpolation.	Description Logics	2021	DBLP BibTeX RDF
1	Claudia Cauli, Magdalena Ortiz 0001, Nir Piterman	Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security (Extended Abstract).	Description Logics	2021	DBLP BibTeX RDF
1	Tim French 0002, Thomas Smoker	An Aleatoric Description Logic for Probabilistic Reasoning.	Description Logics	2021	DBLP BibTeX RDF
1	Luciano Serafini	Learning and Reasoning with Logic Tensor Networks: the Framework and an Application.	Description Logics	2021	DBLP BibTeX RDF

Publications at "Description Logics"( http://dblp.L3S.de/Venues/Description_Logics )