Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Francis Gasse, Viorica Sofronie-Stokkermans |
Efficient TBox Subsumption Checking in Combinations of EL and (fragments of) FL0. |
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 | Henrique Viana, João F. L. Alcântara, Ana Teresa C. Martins |
Paraconsistent Rough Description Logic. |
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 | Julian Mendez 0001, Andreas Ecke, Anni-Yasmin Turhan |
Implementing Completion-Based Inferences for the EL-family. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
1 | Alessandro Artale, Yazmín 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 | Alan Jeffrey, Peter F. Patel-Schneider |
Integrity Constraints for Linked Data. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
1 | Franz Baader, Thanh Binh Nguyen 0003, Stefan Borgwardt, Barbara Morawska 0001 |
Unification in the Description Logic EL without the Top Concept. |
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 | Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
On P/NP Dichotomies for EL Subsumption under Relational Constraints. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
1 | Georg Gottlob, Thomas Schwentick |
Rewriting Ontological Queries into Small Nonrecursive Datalog Programs. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
1 | Nadeschda Nikitina |
Forgetting in General EL Terminologies. |
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 | Prakash Panangaden, Caitlin Phillips, Doina Precup, Mehrnoosh Sadrzadeh |
An Algebraic Approach to Dynamic Epistemic Logic. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Dmitriy Zheleznyakov, Diego Calvanese, Evgeny Kharlamov, Werner Nutt |
Updating TBoxes in DL-Lite. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Despoina Magka, Yevgeny Kazakov, Ian Horrocks 0001 |
Tractable Extensions of the Description Logic EL with Numerical Datatypes. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Quentin Reul, Jeff Z. Pan |
KOSIMap: Use of Description Logic Reasoning to Align Heterogeneous Ontologies. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Chan Le Duc, Myriam Lamolle |
Decidability of Description Logics with Transitive Closure of Roles in Concept and Role Inclusion Axioms. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Thomas Hubauer, Steffen Lamparter, Michael Pirker |
Automata-Based Abduction for Tractable Diagnosis. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Mina Aslani, Volker Haarslev |
TBox Classification in Parallel: Design and First Evaluation. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Thomas Scharrenbach, Rolf Grütter, Bettina Waldvogel, Abraham Bernstein |
Structure Preserving TBox Repair using Defaults. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Norihiro Kamide |
A Compatible Approach to Temporal Description Logics. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Raghava Mutharaju, Frederick Maier, Pascal Hitzler |
A MapReduce Algorithm for EL+. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Jocelyne Faddoul, Volker Haarslev |
Optimizing Algebraic Tableau Reasoning for SHOQ: First Experimental Results. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Henson Graves |
Logic for Modeling Product Structure. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Elena Botoeva, Alessandro Artale, Diego Calvanese |
Query Rewriting in DL-Lite_^(HN)_horn. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Lina Lubyte, Sergio Tessaris |
Supporting the Development of Data Wrapping Ontologies (Extended Abstract). |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Yue Ma 0009, Pascal Hitzler |
Distance-based Measures of Inconsistency and Incoherency for Description Logics. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Arne Meier, Thomas Schneider 0002 |
The Complexity of Satisfiability for Sub-Boolean Fragments of ALC. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Tarek Richard Besold, Bernhard Schiemann |
A Multi-Context System Computing Modalities. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Sebastian Wandelt, Ralf Möller 0001 |
Distributed Island-based Query Answering for Expressive Ontologies. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Martin Knechtel, Rafael Peñaloza |
Correcting Access Restrictions to a Consequence. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | C. Maria Keet |
On the feasibility of Description Logic knowledge bases with rough concepts and vague instances. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Carsten Lutz, Robert Piro, Frank Wolter |
EL-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone |
Second-Order Description Logics: Semantics, Motivation, and a Calculus. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Shasha Feng, Yonggang Zhang, Dantong Ouyang, Haiyan Che, Jie Liu |
The Logical Difference For Fuzzy EL+ Ontologies. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Birte Glimm, Ian Horrocks 0001, Boris Motik |
Optimized DL Reasoning via Core Blocking. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Rafael Peñaloza, Baris Sertkaya |
Complexity of Axiom Pinpointing in the DL-Lite Family. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Domenico Fabio Savo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Vittorio Romagnoli, Marco Ruzzi, Gabriele Stella |
Mastro at Work: Experiences on Ontology-Based Data Access. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Inanç Seylan, Enrico Franconi, Jos de Bruijn |
Optimal Rewritings in Definitorially Complete Description Logics. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Nikos Simou, Theofilos P. Mailis, Giorgos Stoilos, Giorgos B. Stamou |
Optimization Techniques for Fuzzy Description Logics. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Jeffrey Pound, David Toman 0001, Grant E. Weddell, Jiewen Wu |
Query Algebra and Query Optimization for Concept Assertion Retrieval. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Paula Severi, José Luiz Fiadeiro, David Ekserdjian |
Guiding Reification in OWL through Aggregation. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Yuan Ren 0001, Kees van Deemter, Jeff Z. Pan |
Generating Referring Expressions with OWL2. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Meghyn Bienvenu, Thomas Eiter, Carsten Lutz, Magdalena Ortiz 0001, Mantas Simkus |
Query Answering in the Description Logic S. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Martin Homola, Luciano Serafini |
Towards Formal Comparison of Ontology Linking, Mapping and Importing. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Matthew Horridge, Bijan Parsia, Ulrike Sattler |
Justification Masking in OWL. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev |
Temporal Conceptual Modelling with DL-Lite. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Yuan Ren 0001, Jeff Z. Pan, Yuting Zhao |
Towards Soundness Preserving Approximation for ABox Reasoning of OWL2. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider 0002 |
The modular structure of an ontology: an empirical study. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Alessandro Artale, Diego Calvanese, Yazmín Angélica Ibáñez-García |
Checking Full Satisfiability of Conceptual Models. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Norihiro Kamide |
Paraconsistent Description Logics Revisited. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Volker Haarslev, David Toman 0001, Grant E. Weddell (eds.) |
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010 |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Markus Krötzsch, Anees Mehdi, Sebastian Rudolph |
Orel: Database-Driven Reasoning for OWL 2 Profiles. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Anni-Yasmin Turhan, Rafael Peñaloza |
Role-depth Bounded Least Common Subsumers by Completion for EL- and prob-EL-TBoxes. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Jiao Tao, Evren Sirin, Jie Bao 0001, Deborah L. McGuinness |
Extending OWL with Integrity Constraints. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
1 | Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev |
Adding Weight to DL-Lite. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Jocelyne Faddoul, Volker Haarslev, Ralf Möller 0001 |
Algebraic Tableau Algorithm for ALCOQ. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Krzysztof Goczyla, Wojciech Waloszek, Aleksander Waloszek |
A Semantic Algebra for Modularized Description Logics Knowledge Bases. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Roman Kontchakov, Carsten Lutz, David Toman 0001, Frank Wolter, Michael Zakharyaschev |
Combined FO Rewritability for Conjunctive Query Answering in DL-Lite. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Xiaowang Zhang, Zhihu Zhang, Zuoquan Lin |
An Argumentative Semantics for Paraconsistent Reasoning in Description Logic ALC. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati 0001 |
On Higher-Order Description Logics. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Nasim Farsinia, Volker Haarslev |
Optimizing Reasoning with Qualified Number Restrictions in SHQ. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Thomas Lukasiewicz, Azzurra Ragone |
A Combination of Boolean Games with Description Logics for Automated Multi-Attribute Negotiation. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Espen H. Lian, Arild Waaler |
An Only Knowing Approach to Defeasible Description Logics (Extended Abstract). |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Yuan Ren 0001, Jeff Z. Pan, Yuting Zhao |
Soundness Preserving Approximation for TBox Reasoning in R. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Kavitha Srinivas |
OWL Reasoning in the Real World: Searching for Godot. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Zhi Qiang Zhuang, Maurice Pagnucco |
Belief Contraction in the Description Logic EL. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Szymon Klarman, Stefan Schlobach |
Relativizing Concept Descriptions to Comparison Classes. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Claudio Corona, Marco Ruzzi, Domenico Fabio Savo |
Filling the Gap between OWL 2 QL and QuOnto: ROWLKit. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini |
A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Francesco M. Donini, Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio |
A Tableaux-based Method for Computing Least Common Subsumers for Expressive Description Logics. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Guilin Qi, Qiu Ji, Peter Haase 0001 |
A Conflict-based Operator for Mapping Revision. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Shoham Ben-David, Jeffrey Pound, Richard J. Trefler, Dmitry Tsarkov, Grant E. Weddell |
Fair Cycle Detection using Description Logic Reasoning. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Zsolt Zombori, Gergely Lukácsy |
A Resolution Based Description Logic Calculus. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Rajeev Goré |
Global Caching, Inverse Roles and Fixpoint Logics. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Jeffrey Pound, David Toman 0001, Grant E. Weddell, Jiewen Wu |
Concept Projection in Algebras for Computing Certain Answer Descriptions. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Rafael Peñaloza |
Reasoning With Weighted Ontologies. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Michael Mendler, Stephan Scheele |
Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Ulrike Sattler, Thomas Schneider 0002, Michael Zakharyaschev |
Which Kind of Module Should I Extract? |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Birte Glimm, Sebastian Rudolph |
Conjunctive Query Entailment: Decidable in Spite of O, I, and Q. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Bernardo Cuenca Grau, Ian Horrocks 0001, Boris Motik, Ulrike Sattler (eds.) |
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009 |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Felix Distel |
Model-Based Most Specific Concepts in Some Inexpressive Description Logics. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Leonid Libkin, Cristina Sirangelo |
Open and Closed World Assumptions in Data Exchange. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Rafael Peñaloza, Baris Sertkaya |
Axiom Pinpointing is Hard. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Baris Sertkaya |
OntoComP System Description. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks 0001, Rafael Berlanga Llavori |
Building Ontologies Collaboratively Using ContentCVS. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Bernardo Cuenca Grau, Boris Motik |
Importing Ontologies with Hidden Content. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Boris Konev, Dirk Walther 0002, Frank Wolter |
Forgetting and Uniform Interpolation in Extensions of the Description Logic EL. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Julian Mendez 0001, Boontawee Suntisrivaraporn |
Reintroducing CEL as an OWL 2 EL Reasoner. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Rui Zhang, Alessandro Artale, Fausto Giunchiglia, Bruno Crispo |
Using Description Logics in Relation Based Access Control. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Xiaowang Zhang, Guilin Qi, Yue Ma 0009, Zuoquan Lin |
Quasi-Classical Semantics for Expressive Description Logics. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Irma Sofía Espinosa Peraldí, Atila Kaya, Ralf Möller 0001 |
Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Giorgos Stoilos, Giorgos B. Stamou |
A Framework for Reasoning with Expressive Continuous Fuzzy Description Logics. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Johannes Bauer 0002, Ulrike Sattler, Bijan Parsia |
Explaining by Example: Model Exploration for Ontology Comprehension. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Umberto Straccia, Eufemia Tinelli, Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio |
A System for Retrieving Top-k Candidates to Job Positions. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Yevgeny Kazakov |
An Extension of Regularity Conditions for Complex Role Inclusion Axioms. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
Reasoning About Typicality in ALC and EL. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Jeff Z. Pan, Edward Thomas, Yuting Zhao |
Completeness Guaranteed Approximations for OWL-DL Query Answering. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
1 | Carlos Areces, Daniel Gorín, Alejandra Lorenzo, Mariano Pérez Rodríguez |
Testing Provers on a Grid - Framework Description. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|