| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Carsten Lutz, Inanç Seylan, Frank Wolter |
Mixing Open and Closed World Assumptionin Ontology-Based Data Access: Non-Uniform Data Complexity.  |
Description Logics  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Yevgeny Kazakov, Domenico Lembo, Frank Wolter (eds.) |
Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012 |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov |
Representability in DL-Lite_R Knowledge Base Exchange. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Kejia Wu, Volker Haarslev |
A Parallel Reasoner for the Description Logic ALC. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Enrico Franconi, Volha Kerhet, Nhung Ngo |
Exact Query Reformulation over SHOQ DBoxes. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Chan Le Duc, Myriam Lamolle, Olivier Curé |
An ExpSpace Tableau-based Algorithm for SHOIQ. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Kodylan Moodley, Thomas Meyer, Ivan José Varzinczak |
A Protege Plug-in for Defeasible Reasoning. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Hai H. Nguyen, Natasha Alechina, Brian Logan |
Axiom Pinpointing Using an Assumption-Based Truth Maintenance System. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Andreas Steigmiller, Thorsten Liebig, Birte Glimm |
Extended Caching and Backjumping for Expressive Description Logics. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Weili Fu, Rafael Peñaloza |
Adding Context to Tableaux for DLs. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo |
Inconsistency-Tolerant First-Order Rewritability of DL-Lite with Identification and Denial Assertions. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Frantisek Simancik |
Elimination of Complex RIAs without Automata. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev |
Long Rewritings, Short Rewritings. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler |
Logical Relevance in Ontologies. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Mina Aslani, Volker Haarslev |
Concurrent Classification of OWL Ontologies - An Empirical Evaluation. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Simona Colucci, Francesco M. Donini |
Inverting Subsumption for Constructive Reasoning. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Michaël Thomazo |
From EL to Tractable Existential Rules with Complex Role Inclusions. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Ken Halland, Katarina Britz |
Naive ABox abduction in ALC using a DL tableau. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Naouel Karam, Adrian Paschke |
Patent Valuation Using Difference in ALEN. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Stefan Borgwardt, Julian Mendez, Barbara Morawska |
UEL: Unification Solver for EL. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Francesca A. Lisi |
A Formal Characterization of Concept Learning in Description Logics. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Özgür L. Özçep, Ralf Möller |
Combining DL-Lite with Spatial Calculi for Feasible Geo-thematic Query Answering. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Giorgio Stefanoni, Boris Motik, Ian Horrocks |
Small Datalog Query Rewritings for EL. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Jiewen Wu, Alexander K. Hudek, David Toman, Grant E. Weddell |
Absorption for ABoxes. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Meghyn Bienvenu |
Inconsistency-Tolerant Conjunctive Query Answering for Simple Ontologies. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Yuan Ren, Jeff Z. Pan, Kevin Lee |
Optimising Parallel ABox Reasoning of EL Ontologies. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Samantha Bail, Bijan Parsia, Ulrike Sattler |
Diversity of Reason: Equivalence Relations over Description Logic Explanations. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Piero A. Bonatti |
Defaults in Description Logics: So Simple, So Difficult. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Alan Rector |
What's missing? DLs, OWL and the Ecology of Semantic Systems. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Wael Yehia, Mikhail Soutchanski |
Towards an Expressive Decidable Logical Action Theory. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Milenko Mosurovic, Henson Graves, Nenad Krdzavac |
A Decidable Extension of SRIQ with Disjunctions in Complex Role Inclusion Axioms. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Stefan Borgwardt, Barbara Morawska |
A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao |
Towards Practical Query Answering for Horn-SHIQ. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Anna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente |
OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Dmitry Tsarkov |
Improved Algorithms for Module Extraction and Atomic Decomposition. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler |
Concept-Based Semantic Difference in Expressive Description Logics. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Stefan Borgwardt, Felix Distel, Rafael Peñaloza |
Gödel Negation Makes Unwitnessed Consistency Crisp. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Jaromir Malenko, Petr Stepánek |
Nonmonotonic Reasoning in Description Logic by Tableaux Algorithm with Blocking. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Yazmin Angélica Ibáñez-García |
Finite Model Reasoning in DL-Lite with Cardinality Constraints. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Alexander Borgida, Jennifer Horkoff, John Mylopoulos, Riccardo Rosati |
Experiences in Mapping the Business Intelligence Model to Description Logics, and the Case for Parametric Concepts. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Laleh Roosta Pour, Volker Haarslev |
Algebraic Reasoning for SHIQ. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Wael Yehia, Hongkai Liu, Marcel Lippmann, Franz Baader, Mikhail Soutchanski |
Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Enrico Franconi, Alessandro Mosca, Dmitry Solomakhin |
ORM2 Encoding into Description Logic (Extended Abstract). |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Despoina Magka, Boris Motik, Ian Horrocks |
Modelling Structured Domains Using Description Graphs and Logic Programming. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Riccardo Rosati |
Query Rewriting under Extensional Constraints in DL-Lite. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus |
Answering Expressive Path Queries over Lightweight DL Knowledge Bases. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz |
Equality-Friendly Well-Founded Semantics and Applications to Description Logics. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky |
An Abstract Tableau Calculus for the Description Logic SHOI Using Unrestricted Blocking and Rewriting. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Andreas Ecke, Anni-Yasmin Turhan |
Role-depth Bounded Least Common Subsumers for EL+ and ELI. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Serge Abiteboul |
Viewing the Web as a Distributed Knowledge Base. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Yujiao Zhou, Bernardo Cuenca Grau, Ian Horrocks |
Efficient Upper Bound Computation of Query Answers in Expressive Description Logics. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Ilianna Kollia, Birte Glimm |
Cost Based Query Ordering over OWL Ontologies. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Stefan Borgwardt, Rafael Peñaloza |
Non-Gödel Negation Makes Unwitnessed Consistency Undecidable. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma |
Probabilistic Datalog+/- under the Distribution Semantics. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Tassos Venetis, Giorgos Stoilos, Giorgos B. Stamou |
Incremental Query Rewriting for OWL 2 QL. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Ana Armas Romero, Bernardo Cuenca Grau, Ian Horrocks |
Modular Combination of Reasoners for Ontology Classification. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Meghyn Bienvenu, Carsten Lutz, Frank Wolter |
Deciding FO-Rewritability in EL. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Loris Bozzato, Martin Homola, Luciano Serafini |
Towards More Effective Tableaux Reasoning for CKR. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
Preferential Low Complexity Description Logics: Complexity Results and Proof Methods. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
| 1 | Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev |
On (In)Tractability of OBDA with OWL 2 QL. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik |
Unchain My EL Reasoner. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ilianna Kollia, Birte Glimm, Ian Horrocks |
Query Answering over SROIQ Knowledge Bases with SPARQL. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Enrico Franconi, Paolo Guagliardo, Marco Trevisan, Sergio Tessaris |
Quelo: an Ontology-Driven Query Interface. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Julian Mendez, Andreas Ecke, Anni-Yasmin Turhan |
Implementing Completion-Based Inferences for the EL-family. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Luciano Serafini, Martin Homola |
Contextual Representation and Reasoning with Description Logics. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Rafael Peñaloza |
GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Markus Krötzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler |
Nominal Schemas for Integrating Rules and Description Logics. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Maurizio Lenzerini, Domenico Fabio Savo |
On the Evolution of the Instance Level of DL-Lite Knowledge Bases. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni |
The Complexity of Conjunctive Query Abduction in DL-Lite. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Anees Mehdi, Sebastian Rudolph |
Practical Epistemic Entailment Checking in SROIQ. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Artale, Yazmin Angélica Ibáñez-García, Roman Kontchakov, Vladislav Ryzhikov |
DL-Lite with Attributes and Sub-Roles (Extended Abstract). |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Matthew Horridge, Samantha Bail, Bijan Parsia, Ulrike Sattler |
The Cognitive Complexity of OWL Justifications. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Chiara Del Vescovo |
The Modular Structure of an Ontology: Atomic Decomposition towards Applications. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler |
Analysing Multiple Versions of an Ontology: A Study of the NCI Thesaurus. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Eldora, Martin Knechtel, Rafael Peñaloza |
Correcting Access Restrictions to a Consequence More Flexibly. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm |
Reasoning-Supported Interactive Revision of Knowledge Bases. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider 0002, Frank Wolter, Michael Zakharyaschev |
Module Extraction via Query Inseparability in OWL 2 QL. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Giorgos Stoilos, Bernardo Cuenca Grau |
Repairing Incomplete Reasoners. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Adila Alfa Krisnadhi, Kunal Sengupta, Pascal Hitzler |
Local Closed World Semantics: Keep it simple, stupid! |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Heiner Stuckenschmidt |
A Little Logic Goes a Long Way - Logical Reasoning in Web Data Integration and Ontology Learning. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alan Jeffrey, Peter F. Patel-Schneider |
Integrity Constraints for Linked Data. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Pablo R. Fillottrani, Enrico Franconi, Sergio Tessaris |
Ontology Design and Integration with ICOM 3.0 - Tool Description and Methodology. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jean Christoph Jung, Víctor Gutiérrez-Basulto, Carsten Lutz, Lutz Schröder |
The Complexity of Probabilistic EL. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Gert Smolka |
Incremental Decision Procedures for Modal Logic with Nominals and Eventualities. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Arina Britz, Thomas Meyer, Ivan José Varzinczak |
Concept Model Semantics for DL Preferential Reasoning. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Marcelo Finger, Renata Wassermann, Fabio Gagliardi Cozman |
Satisfiability in EL with Sets of Probabilistic ABoxes. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz, Frank Wolter |
Non-Uniform Data Complexity of Query Answering in Description Logics. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Meghyn Bienvenu |
First-Order Expressibility Results for Queries over Inconsistent DL-Lite Knowledge Bases. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev (eds.) |
Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011 |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Giulia Masotti, Riccardo Rosati, Marco Ruzzi |
Practical ABox Cleaning in DL-Lite (progress report). |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Mariano Rodriguez-Muro, Diego Calvanese |
Dependencies to Optimize Ontology Based Data Access. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Riku Nortje, Arina Britz, Thomas Andreas Meyer |
Bidirectional Reachability-Based Modules. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Baris Sertkaya |
In the Search of Improvements to the EL+ Classification Algorithm. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Marcelo Arenas |
Exchanging More than Complete Data. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Stefan Borgwardt, Rafael Peñaloza |
Fuzzy Ontologies over Lattices with T-norms. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Stefan Scheglmann, Carsten Saathoff, Steffen Staab |
On the Problem of Weighted Max-DL-SAT and its Application to Image Labeling. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Marcelo Arenas, Elena Botoeva, Diego Calvanese |
Knowledge Base Exchange. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Thomas Hubauer, Steffen Lamparter, Michael Pirker |
Relaxed Abduction: Robust Information Interpretation for Incomplete Models. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Milenko Mosurovic, Nenad Krdzavac |
A Technique for Handling the Right Hand Side of Complex RIAs. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Fabiano Corrêa, Fabio Gagliardi Cozman, Jun Okamoto Jr. |
Collective Classification in Semantic Mapping with a Probabilistic Description Logic. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")