Abstract is missing.
- Supporting the Design of Ontologies for Data AccessLina Lubyte, Sergio Tessaris. [doi]
- Consistency Checking for Extended Description LogicsOlivier Couchariere, Marie-Jeanne Lesot, Bernadette Bouchon-Meunier. [doi]
- The Revival of Structural Subsumption in Tableau-based ReasonersRalf Möller, Volker Haarslev, Sebastian Wandelt. [doi]
- On Ordering and Indexing Metadata for the Semantic WebJeffrey Pound, Lubomir Stanchev, David Toman, Grant E. Weddell. [doi]
- A Survey of Revision Approaches in Description LogicsGuilin Qi, Fangkai Yang. [doi]
- Distributed Resolution for ALCAnne Schlicht, Heiner Stuckenschmidt. [doi]
- A UML-Based Method for Deciding Finite Satisfiability in Description LogicsMira Balaban, Azzam Maraee. [doi]
- A Hybrid Tableau Algorithm for ALCQJocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller. [doi]
- The Projection Problem for EL ActionsHongkai Liu, Carsten Lutz, Maja Milicic. [doi]
- Partial and Informative Common Subsumers of Concepts Collections in Description LogicsSimona Colucci, Eugenio Di Sciascio, Francesco M. Donini. [doi]
- Bridging Heterogeneous Representations of Binary Relations: First ResultsChiara Ghidini, Luciano Serafini, Sergio Tessaris. [doi]
- Subsumption Propagation between Remote Ontologies in Distributed Description LogicMartin Homola. [doi]
- XPath: (P)DL on TreesMaarten Marx.
- LTL over Description Logic AxiomsFranz Baader, Silvio Ghilardi, Carsten Lutz. [doi]
- Automata-based Pinpointing for DLsRafael Penaloza. [doi]
- Visualization of Description Logic ModelsFernando Náufel do Amaral, Carlos Bazilio Martins. [doi]
- Unifying Industry-grade Class-based Conceptual Data Modeling Languages with CMcomC. Maria Keet. [doi]
- Logical Difference and Module Extraction with CEX and MEXBoris Konev, Carsten Lutz, Dirk Walther, Frank Wolter. [doi]
- Deciding SHOQ^cap Knowledge Base Consistency using Alternating AutomataBirte Glimm, Ian Horrocks, Ulrike Sattler. [doi]
- DL-SR: a Lite DL with Expressive Rules: Preliminary ResultsJean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat. [doi]
- Fuzzy Description Logics for Bilateral Matchmaking in e-MarketplacesAzzurra Ragone, Umberto Straccia, Fernando Bobillo, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini. [doi]
- Rewriting Rules into SROIQ AxiomsFrancis Gasse, Ulrike Sattler, Volker Haarslev. [doi]
- ContraBovemRufum: A System for Probabilistic Lexicographic EntailmentTobias Henrik Näth, Ralf Möller. [doi]
- Towards Higher-Order DL-LiteGiuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati. [doi]
- Paraconsistent Reasoning for Expressive and Tractable Description LogicsYue Ma, Pascal Hitzler, Zuoquan Lin. [doi]
- Planning of Axiom AbsorptionJiewen Wu, Volker Haarslev. [doi]
- A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxesFranz Baader, Novak Novakovik, Boontawee Suntisrivaraporn. [doi]
- Next Steps for Description Logics of Minimal Knowledge and Negation as FailurePeihong Ke, Ulrike Sattler. [doi]
- Actions over a Constructive Semantics for ALCLoris Bozzato, Mauro Ferrari, Paola Villa. [doi]
- Explanation in DL-LiteAlexander Borgida, Diego Calvanese, Mariano Rodriguez-Muro. [doi]
- Prime Implicate Normal Form for ALC ConceptsMeghyn Bienvenu. [doi]
- The Representation of Structured Objects in DLs using Description GraphsBoris Motik, Bernardo Cuenca Grau, Ulrike Sattler. [doi]
- Optimizing the Nominal Introduction Rule in (Hyper)Tableau CalculiRob Shearer, Boris Motik, Ian Horrocks. [doi]
- Towards Parallel Classifcation of TBoxesMina Aslani, Volker Haarslev. [doi]
- Locality and Subsumption Testing in EL and Some of its ExtensionsViorica Sofronie-Stokkermans. [doi]
- Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool SupportErnesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider, Rafael Berlanga Llavori. [doi]
- Using DL to Support a very Large Healthcare Terminology: Successes and ChallengesKent A. Spackman.
- SRIQ and SROIQ are Harder than SHOIQYevgeny Kazakov. [doi]
- Explaining User Errors in Knowledge Base CompletionBaris Sertkaya. [doi]
- Decidable Reasoning over Timestamped Conceptual ModelsAlessandro Artale, David Toman. [doi]
- Description Logics-Based Modelling for Precise Information RetrievalSaïd Radhouani, Gilles Falquet. [doi]
- All Elephants are Bigger than All MiceSebastian Rudolph, Markus Krötzsch, Pascal Hitzler. [doi]
- Classifying Fuzzy Subsumption in Fuzzy-EL+Giorgos Stoilos, Giorgos B. Stamou, Jeff Z. Pan. [doi]
- Partitioning OWL Knowledge Bases - Revisited and RevisedSebastian Wandelt. [doi]
- Mathematical Theory Makes Formal Concept Analysis VersatileBernhard Ganter.
- Identifying Objects Over Time with Description LogicsDavid Toman, Grant E. Weddell. [doi]
- The SAT-Tableau CalculusUwe Keller, Stijn Heymans. [doi]
- Towards Constructive DL for Abstraction and RefinementMichael Mendler, Stephan Scheele. [doi]
- A Kernel Revision Operator for TerminologiesGuilin Qi, Peter Haase, Zhisheng Huang, Jeff Z. Pan. [doi]
- Ontology Refinement through Role Assertion Analysis: Example in PharmacogenomicsAdrien Coulet, Malika Smaïl-Tabbone, Amedeo Napoli, Marie-Dominique Devignes. [doi]
- Essential and Mandatory Part-Whole Relations in Conceptual Data ModelsAlessandro Artale, C. Maria Keet. [doi]
- Conjunctive Query Answering in SH using KnotsMagdalena Ortiz, Mantas Simkus, Thomas Eiter. [doi]
- Checking DL-Lite Modularity with QBF SolversRoman Kontchakov, V. Ryzhikov, Frank Wolter, Michael Zakharyaschev. [doi]
- Realization Problem for Formal Concept AnalysisNikolay Shilov. [doi]
- Two Upper Bounds for Conjunctive Query Answering in SHIQCarsten Lutz. [doi]
- Taming the Infinite Chase: Query Answering under Expressive Relational ConstraintsAndrea Calì, Georg Gottlob, Michael Kifer. [doi]