default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDescription Logics 2015: Athens, Greece
- Diego Calvanese, Boris Konev:
Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015. CEUR Workshop Proceedings 1350, CEUR-WS.org 2015 - Carsten Lutz:
Query Rewriting Beyond DL-Lite. - Axel Polleres:
Integrating Open Data: (How) Can Description Logics Help me? - Maarten de Rijke:
Entity-oriented Search Engine Result Pages. - Shqiponja Ahmetaj
, Wolfgang Fischl, Reinhard Pichler, Mantas Simkus, Sebastian Skritek:
DL-Lite and Conjunctive Queries Extended by Optional Matching. - Albin Ahmeti, Diego Calvanese, Axel Polleres, Vadim Savenkov:
Dealing with Inconsistencies due to Class Disjointness in SPARQL Update. - Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Interval Temporal Description Logics. - Franz Baader, Stefan Borgwardt, Barbara Morawska:
Dismatching and Local Disunification in EL (Extended Abstract). - Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, Ian Horrocks:
Extending Consequence-Based Reasoning to SHIQ. - Meghyn Bienvenu, Camille Bourgaux, François Goasdoué:
Explaining Query Answers under Inconsistency-Tolerant Semantics over Description Logic Knowledge Bases (Extended Abstract). - Meghyn Bienvenu, Stanislav Kikot, Vladimir V. Podolskii:
Combined Complexity of Answering Tree-like Queries in OWL 2 QL. - Meghyn Bienvenu, Riccardo Rosati:
Query-based comparison of OBDA specifications. - Stefan Bischof, Markus Krötzsch, Axel Polleres, Sebastian Rudolph:
Schema-Agnostic Query Rewriting for OWL QL. - Alexander Borgida, David Toman, Grant E. Weddell:
Singular Referring Expressions in Conjunctive Query Answers: the case for a CFD DL Dialect. - Stefan Borgwardt, Veronika Thost:
Temporal Query Answering in EL. - Damian Bursztyn, François Goasdoué, Ioana Manolescu:
Efficient Query Answering in DL-Lite through FOL Reformulation (Extended Abstract). - Stephan Böhme, Marcel Lippmann:
Decidable Contextualized DLs with Rigid Roles. - Diego Calvanese, Marco Montali, Ario Santoso:
Inconsistency Management in Generalized Knowledge and Action Bases. - Thinh Dong, Chan Le Duc, Philippe Bonnot, Myriam Lamolle:
Tableau-based revision in SHIQ. - Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks:
Extending the Combined Approach Beyond Lightweight Description Logics. - Oliver Fernandez Gil, Franz Baader, Gerhard Brewka:
Adding Threshold Concepts to the Description Logic EL. - Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou:
Lower and Upper Bounds for SPARQL Queries over OWL Ontologies. - Georg Gottlob, Marco Manna, Andreas Pieris:
Polynomial Combined Rewritings for Linear Existential Rules and DL-Lite with n-ary Relations. - Víctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider:
The Complexity of Temporal Description Logics with Rigid Roles and Restricted TBoxes: In Quest of Saving a Troublesome Marriage. - André Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter:
Schema.org as a Description Logic. - Mark Kaminski, Bernardo Cuenca Grau:
Polynomial Horn Rewritings for Description Logics Ontologies. - Tobias Kaminski, Matthias Knorr, João Leite:
Reasoning Efficiently with Ontologies and Rules in the Presence of Inconsistencies (Extended Abstract). - Yevgeny Kazakov, Pavel Klinov:
Advancing ELK: Not Only Performance Matters. - Matthias Knorr:
Nonmonotonic Nominal Schemas Revisited. - Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Conservative Rewritability of Description Logic TBoxes: First Results. - Boris Konev, Ana Ozaki, Frank Wolter:
Exact Learning Description Logic Ontologies from Data Retrieval Examples. - Egor V. Kostylev, Bernardo Cuenca Grau:
Semantics of SPARQL under OWL 2 Entailment Regimes. - Petra Kubincová, Ján Kluka, Martin Homola:
Towards Expressive Metamodelling with Instantiation. - Domenico Lembo, Jose Mora, Riccardo Rosati, Domenico Fabio Savo, Evgenij Thorstensen:
Mapping Analysis in Ontology-based Data Access: Algorithms and Complexity (Extended Abstract). - Nhung Ngo, Magdalena Ortiz, Mantas Simkus:
The Combined Complexity of Reasoning with Closed Predicates in Description Logics. - Andreas Steigmiller, Birte Glimm, Thorsten Liebig:
Completion Graph Caching for Expressive Description Logics. - David Toman, Grant E. Weddell:
On the Utility of CFDI. - Despoina Trivela, Giorgos Stoilos, Alexandros Chortaras, Giorgos B. Stamou:
Query Rewriting in Horn-SHIQ. - Benjamin Zarrieß, Jens Claßen:
Decidable Verification of Knowledge-Based Programs over Description Logic Actions with Sensing. - Yizheng Zhao, Renate A. Schmidt:
Concept Forgetting for ALCOI-Ontologies using an Ackermann Approach. - Yujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, Ian Horrocks:
PAGOdA: Pay-as-you-go ABox Reasoning. - Giovanni Adorni, Marco Maratea, Laura Pandolfo, Luca Pulina:
An Ontology-Based Archive for Historical Research. - Lakhdar Akroun, Lhouari Nourine, Farouk Toumani:
Reasoning in description logics with variables: preliminary results regarding the EL logic. - Gregor Behnke, Pascal Bercher, Susanne Biundo, Birte Glimm, Denis K. Ponomaryov, Marvin R. G. Schiller:
Integrating Ontologies and Planning for Cognitive Systems. - Piero A. Bonatti, Iliana M. Petrova, Luigi Sauro:
Optimized Construction of Secure Knowledge-Base Views. - Stefan Borgwardt, Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan:
Conjunctive Query Answering with Finitely Many Truth Degrees. - Ismail Ilkan Ceylan:
Query Answering in Bayesian Description Logics. - Ismail Ilkan Ceylan, Thomas Lukasiewicz, Rafael Peñaloza:
Answering EL Queries in the Presence of Preferences. - Ismail Ilkan Ceylan, Rafael Peñaloza:
Dynamic Bayesian Description Logics. - Andreas Ecke, Maximilian Pensel, Anni-Yasmin Turhan:
Elastiq: Answering Similarity-threshold Instance Queries in EL. - Pablo R. Fillottrani, C. Maria Keet, David Toman:
Polynomial encoding of ORM conceptual models in CFDI. - Jhonatan Garcia, Jeff Z. Pan, Achille Fokoue:
Handling uncertainty: An extension of DL-Lite with Subjective Logic. - Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti:
DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics. - Patrick Koopmann, Renate A. Schmidt:
Saturated-Based Forgetting in the Description Logic SIF. - Francesco Kriegel:
Incremental Learning of TBoxes from Interpretation Sequences with Methods of Formal Concept Analysis. - Maurizio Lenzerini, Lorenzo Lepore, Antonella Poggi:
A higher-order semantics for OWL 2 QL ontologies (Extended abstract). - Theofilos P. Mailis, Anni-Yasmin Turhan, Erik Zenker:
A pragmatic approach to answering CQs over fuzzy DL-Lite-ontologies - introducing FLite. - Nicolas Matentzoglu, Uli Sattler, Bijan Parsia:
Empirical Investigation of Subsumption Test Hardness in Description Logic Classification. - Andreas Nakkerud, Evgenij Thorstensen:
Heuristics for Applying Cached OBDA Rewritings. - Mourad Ouziri, Salima Benbernou, Naouel Karam, Allel Hadjali:
Managing QoS Acceptability for Service Selection: A Probabilistic Description Logics Based Approach. - Júlia Pukancová, Martin Homola:
Abductive Reasoning with Description Logics: Use Case in Medical Diagnosis. - Viachaslau Sazonau, Uli Sattler:
TBox Reasoning in the Probabilistic Description Logic SHIQp. - Michele Stawowy:
Optimizations for Decision Making and Planning in Description Logic Dynamic Knowledge Bases. - Veronika Thost, Jan Holste, Özgür L. Özçep:
On Implementing Temporal Query Answering in DL-Lite (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 2024-11-08 20:17 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:
