- 2011
- Marcelo Arenas:
Exchanging More than Complete Data. Description Logics 2011 - Marcelo Arenas, Elena Botoeva, Diego Calvanese:
Knowledge Base Exchange. Description Logics 2011 - 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 - Franz Baader, Thanh Binh Nguyen, Stefan Borgwardt, Barbara Morawska:
Unification in the Description Logic EL without the Top Concept. Description Logics 2011 - Franz Baader, Rafael Peñaloza:
GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable. Description Logics 2011 - Samantha Bail, Bijan Parsia, Ulrike Sattler:
Extracting Finite Sets of Entailments from OWL Ontologies. Description Logics 2011 - Meghyn Bienvenu:
First-Order Expressibility Results for Queries over Inconsistent DL-Lite Knowledge Bases. Description Logics 2011 - Stefan Borgwardt, Rafael Peñaloza:
Fuzzy Ontologies over Lattices with T-norms. Description Logics 2011 - Arina Britz, Thomas Meyer, Ivan José Varzinczak:
Concept Model Semantics for DL Preferential Reasoning. Description Logics 2011 - Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni:
The Complexity of Conjunctive Query Abduction in DL-Lite. Description Logics 2011 - Alexandros Chortaras, Despoina Trivela, Giorgos B. Stamou:
Goal-oriented Query Rewriting for OWL 2 QL. Description Logics 2011 - Fabiano Corrêa, Fábio Gagliardi Cozman, Jun Okamoto Jr.:
Collective Classification in Semantic Mapping with a Probabilistic Description Logic. Description Logics 2011 - Eldora, Martin Knechtel, Rafael Peñaloza:
Correcting Access Restrictions to a Consequence More Flexibly. Description Logics 2011 - Pablo R. Fillottrani, Enrico Franconi, Sergio Tessaris:
Ontology Design and Integration with ICOM 3.0 - Tool Description and Methodology. Description Logics 2011 - Marcelo Finger, Renata Wassermann, Fábio Gagliardi Cozman:
Satisfiability in EL with Sets of Probabilistic ABoxes. Description Logics 2011 - Enrico Franconi, Paolo Guagliardo, Marco Trevisan, Sergio Tessaris:
Quelo: an Ontology-Driven Query Interface. Description Logics 2011 - Fred Freitas:
A Connection Method for Inferencing over the Description Logic ALC. Description Logics 2011 - Francis Gasse, Viorica Sofronie-Stokkermans:
Efficient TBox Subsumption Checking in Combinations of EL and (fragments of) FL0. Description Logics 2011 - Birte Glimm, Yevgeny Kazakov, Carsten Lutz:
Status QIO: An Update. Description Logics 2011 - Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler:
Analysing Multiple Versions of an Ontology: A Study of the NCI Thesaurus. Description Logics 2011 - Georg Gottlob, Thomas Schwentick:
Rewriting Ontological Queries into Small Nonrecursive Datalog Programs. Description Logics 2011 - Henson Graves:
Structural Models in Axiomatic SysML. Description Logics 2011 - Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis:
Verification of Conjunctive-Query Based Semantic Artifacts. Description Logics 2011 - Matthew Horridge, Samantha Bail, Bijan Parsia, Ulrike Sattler:
The Cognitive Complexity of OWL Justifications. Description Logics 2011 - Thomas Hubauer, Steffen Lamparter, Michael Pirker:
Relaxed Abduction: Robust Information Interpretation for Incomplete Models. Description Logics 2011 - Alan Jeffrey, Peter F. Patel-Schneider:
Integrity Constraints for Linked Data. Description Logics 2011 - Jean Christoph Jung, Víctor Gutiérrez-Basulto, Carsten Lutz, Lutz Schröder:
The Complexity of Probabilistic EL. Description Logics 2011 - Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik:
Unchain My EL Reasoner. Description Logics 2011 - Evgeny Kharlamov, Dmitriy Zheleznyakov:
On Prototypes for Winslett's Semantics of DL-Lite ABox Evolution. Description Logics 2011 - Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev:
On (In)Tractability of OBDA with OWL 2 QL. Description Logics 2011