default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDescription Logics 2018: Tempe, Arizona, USA
- Magdalena Ortiz, Thomas Schneider:
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018. CEUR Workshop Proceedings 2211, CEUR-WS.org 2018
Session 1: Invited Papers
- Lidia Tendera:
Decidability Frontier for Fragments of First-Order Logic with Transitivity. - Denny Vrandecic:
Toward an Abstract Wikipedia. - Renata Wassermann:
Revising Ontologies.
Session 2: Invited Papers
- Medina Andresel, Yazmín Angélica Ibáñez-García, Magdalena Ortiz, Mantas Simkus
:
Taming Complex Role Inclusions for DL-Lite. - Alessandro Artale, Andrea Mazzullo, Ana Ozaki:
Temporal Description Logics over Finite Traces. - Franz Baader, Adrian Nuradiansyah:
Towards Privacy-Preserving Ontology Publishing. - Dimitris Bilidas, Manolis Koubarakis:
Efficient Duplicate Elimination in SPARQL to SQL Translation. - Leonard Botha, Thomas Andreas Meyer, Rafael Peñaloza:
The Bayesian Description Logic BALC. - Katinka Böhm, Magdalena Ortiz:
A Tool for Building Topic-specific Ontologies Using a Knowledge Graph. - Anneke Bötcher, Carsten Lutz, Frank Wolter:
Complete Approximations of Horn DL Ontologies. - Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther:
Computing Minimal Projection Modules for Conjunctive Queries. - Jieying Chen, Yue Ma, Dirk Walther:
Computing Best Ontology Excerpts via Weighted Partial Max-SAT Solving. - Mario Ricardo Cruz Duarte, Boris Konev, Ana Ozaki:
Exact Learning of EL Ontologies. - Humaira Farid, Volker Haarslev:
Handling Nominals and Inverse Roles using Algebraic Reasoning. - Cristina Feier, Carsten Lutz, Frank Wolter:
From Conjunctive Queries to SPARQL Queries in Ontology-Mediated Querying. - Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis:
A Dynamic Extension of ALCO for Repairing via Preferred Updates. - Lukas Grätz:
Concepts as Modal Operators in Description Logics. - Sascha Jongebloed, Thomas Schneider:
Ontology Partitioning Using E-Connections Revisited. - Rafael Kiesel, Erman Acar, Stefan Schlobach:
Preferential Default Reasoning on the Semantic Web. - Stanislav Kikot, Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev:
On the Data Complexity of Ontology-Mediated Queries with MTL Operators over Timed Words. - Christian Kindermann, Daniel P. Lupp, Uli Sattler, Evgenij Thorstensen:
Generating Ontologies from Templates: A Rule-Based Approach for Capturing Regularity. - Alisa Kovtunova, Rafael Peñaloza:
Cutting Diamonds: Temporal DLs with Probabilistic Distributions over Data. - Drahomír Mrózek, Júlia Pukancová, Martin Homola:
ABox Abduction Solver Exploiting Multiple DL Reasoners. - Manuel Namici, Giuseppe De Giacomo:
Comparing Query Answering in OBDA Tools over W3C-Compliant Specifications. - Damir Nesic, Mattias Nyberg:
Verifying Contract-Based Specifications of Product Lines using Description Logic. - Ana Ozaki, Markus Krötzsch, Sebastian Rudolph:
Happy Ever After: Temporally Attributed Description Logics. - Ana Ozaki, Rafael Peñaloza:
Provenance in Ontology-based Data Access. - Peter Paulovics, Júlia Pukancová, Martin Homola:
SIVA: An Educational Tool for the Tableau Reasoning Algorithm. - Tanja Perleth, Marvin R. G. Schiller, Birte Glimm:
Applying a Model of Text Comprehension to Automated Verbalizations of EL Derivations. - Júlia Pukancová, Martin Homola:
ABox Abduction for Description Logics: The Case of Multiple Observations. - Sebastian Rudolph, Mantas Simkus:
Satisfiability in the Triguarded Fragment of First-Order Logic. - Ognjen Savkovic, Evgeny Kharlamov, Guohui Xiao, Gulnar Mehdi, Elem Güzel Kalayci, Werner Nutt, Mikhail Roshchin, Ian Horrocks:
Theoretical Characterization of Signal Diagnostic Processing Language. - David Toman, Grant E. Weddell:
Identity Resolution in Conjunctive Querying over DL-Based Knowledge Bases. - Despoina Trivela, Giorgos Stoilos, Vasilis Vassalos:
Querying Expressive DL Ontologies under the ICAR Semantics. - Michael Zakharyaschev, Stanislav Kikot, Olga Gerasimova:
Towards a Data Complexity Classification of Ontology-Mediated Queries with Covering. - Yizheng Zhao, Hao Feng, Ruba Alassaf, Warren Del-Pinto, Renate A. Schmidt:
The FAME Family: A Family of Reasoning Tools for Forgetting in Expressive Description Logics.
Session 3: Extended Abstracts
- Franz Baader, Oliver Fernandez Gil, Maximilian Pensel:
Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata. - Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza:
Making Repairs in Description Logics More Gentle (Extended Abstract). - Konstantina Bereta, George Papadakis, Manolis Koubarakis:
SPARQLing-Up the Web on-the-fly using Ontologies and Mappings. - Meghyn Bienvenu:
Inconsistency-Tolerant Ontology-Based Data Access Revisited: Taking Mappings into Account. - Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso, Wil M. P. van der Aalst:
Conceptual Schema Transformation in Ontology-based Data Access (Extended Abstract). - David Carral, Irina Dragoste, Markus Krötzsch:
Tractable Query Answering for DL Ontologies and Existential Rules: Extended Abstract. - Víctor Gutiérrez-Basulto, Jean Christoph Jung, Leif Sabellek:
Query-by-Example for Expressive Horn Description Logics. - Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana:
A Single Approach to Decide Chase Termination on Linear Existential Rules. - Fabio Papacchini, Frank Wolter:
A Van Benthem Theorem for Horn Description and Modal Logic. - Maximilian Pensel, Anni-Yasmin Turhan:
Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot. - Jacopo Urbani, Markus Krötzsch, Ceriel J. H. Jacobs, Irina Dragoste, David Carral:
Efficient Model Construction for Horn Logic with VLog: Extended Abstract.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-07 20:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
