Abstract is missing.
- Specifying the Disjoint Nature of Object Properties in DLCartik R. Kothari, David J. Russomanno. [doi]
- Pellet: An OWL DL ReasonerEvren Sirin, Bijan Parsia. [doi]
- Description Logic and Order-sorted LogicKen Kaneiwa. [doi]
- DL-Lite: Practical Reasoning for Rich DlsDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere. [doi]
- Efficient Reasoning with Range and Domain ConstraintsDmitry Tsarkov, Ian Horrocks. [doi]
- Semantics Driven Support for Query FormulationPaolo Dongilli, Enrico Franconi, Sergio Tessaris. [doi]
- Reasoning on Temporal Conceptual Schemas with Dynamic ConstraintsAlessandro Artale. [doi]
- From SHOQ(D) Toward E-connectionsBernardo Cuenca Grau, Bijan Parsia. [doi]
- Extending DL Reasoning Support for the OWL Datatyping (or Why Datatype Groups? )Jeff Z. Pan, Ian Horrocks. [doi]
- Editing Description Logic Ontologies with the Protégé OWL PluginHolger Knublauch, Mark A. Musen, Alan L. Rector. [doi]
- Extended Query Facilities for Racer and an Application to Software-Engineering ProblemsVolker Haarslev, Ralf Möller, Ragnhild Van Der Straeten, Michael Wessel. [doi]
- Reasoning Services for an OWL Authoring Tool: An Experience Report Thorsten Liebig, Holger Pfeifer, Friedrich W. von Henke. [doi]
- Finite Satisfiability of UML Class Diagrams by Constraint ProgrammingToni Mancini. [doi]
- OntoXpl: Exploration of OWL OntologiesVolker Haarslev, Ying Lu 0003, Nematollaah Shiri. [doi]
- Understanding Ontologies in Scholarly DisciplineBrian R. Gaines. [doi]
- A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALNSimona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello. [doi]
- A Description Logic Based Approach for Matching User ProfilesAndrea Calì, Diego Calvanese, Simona Colucci, Tommaso Di Noia, Francesco M. Donini. [doi]
- Tableau Systems for SHIO and SHIQJan Hladik, Jörg Model. [doi]
- Towards Implementing Finite Model Reasoning in Description LogicsMarco Cadoli, Diego Calvanese, Giuseppe De Giacomo. [doi]
- Sonic: System DescriptionAnni-Yasmin Turhan, Christian Kissig. [doi]
- On Subsumption and Instance Problem in ELH w.r.t. General TBoxesSebastian Brandt. [doi]
- Using Non-Primitive Concept Definitions for Improving DL-based Knowledge BasesRonald Cornet, Ameen Abu-Hanna. [doi]
- The Instance Store: DL Reasoning with Large Numbers of IndividualsIan Horrocks, Lei Li, Daniele Turi, Sean Bechhofer. [doi]
- DL Requirements from Medicine and BiologyStefan Schulz. [doi]
- Computing the Least Common Subsumer w.r.t. a Background TerminologyFranz Baader, Baris Sertkaya, Anni-Yasmin Turhan. [doi]
- Local Tableaux for Reasoning in Distributed Description LogicsLuciano Serafini, Andrei Tamilin. [doi]
- Description Logics for e-Service CompositionDaniela Berardi. [doi]
- Towards Explaining Semantic MatchingDeborah L. McGuinness, Pavel Shvaiko, Fausto Giunchiglia, Paulo Pinheiro da Silva. [doi]
- Attribute Inversion in Description Logic with Path Functional Dependencies David Toman, Grant E. Weddell. [doi]
- Explaining Description Logic ReasoningFrancis Kwong. [doi]
- Mona as a DL ReasonerEldar Karabaev, Carsten Lutz. [doi]