![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Description Logics 2004: Whistler, BC, Canada
- Volker Haarslev, Ralf Möller:
Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004. CEUR Workshop Proceedings 104, CEUR-WS.org 2004
Theory 1
- Alessandro Artale:
Reasoning on Temporal Conceptual Schemas with Dynamic Constraints. - Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan:
Computing the Least Common Subsumer w.r.t. a Background Terminology. - Sebastian Brandt:
On Subsumption and Instance Problem in ELH w.r.t. General TBoxes.
Implementation Techniques 1
- Ian Horrocks, Lei Li, Daniele Turi, Sean Bechhofer:
The Instance Store: DL Reasoning with Large Numbers of Individuals. - Dmitry Tsarkov, Ian Horrocks:
Efficient Reasoning with Range and Domain Constraints. - Eldar Karabaev, Carsten Lutz:
Mona as a DL Reasoner.
Graphical Interfaces 1
- Volker Haarslev, Ying Lu, Nematollaah Shiri:
OntoXpl: Exploration of OWL Ontologies. - Holger Knublauch, Mark A. Musen, Alan L. Rector:
Editing Description Logic Ontologies with the Protégé OWL Plugin. - Thorsten Liebig, Holger Pfeifer, Friedrich W. von Henke:
Reasoning Services for an OWL Authoring Tool: An Experience Report .
Implementation Techniques 2
- Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo:
Towards Implementing Finite Model Reasoning in Description Logics. - Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere:
DL-Lite: Practical Reasoning for Rich Dls. - Luciano Serafini, Andrei Tamilin:
Local Tableaux for Reasoning in Distributed Description Logics.
Applications 1
- Andrea Calì, Diego Calvanese, Simona Colucci, Tommaso Di Noia, Francesco M. Donini:
A Description Logic Based Approach for Matching User Profiles. - Paolo Dongilli, Enrico Franconi, Sergio Tessaris:
Semantics Driven Support for Query Formulation.
Posters
- Bernardo Cuenca Grau, Bijan Parsia:
From SHOQ(D) Toward E-connections. - Cartik R. Kothari, David J. Russomanno:
Specifying the Disjoint Nature of Object Properties in DL. - Deborah L. McGuinness, Pavel Shvaiko, Fausto Giunchiglia, Paulo Pinheiro da Silva:
Towards Explaining Semantic Matching. - Jeff Z. Pan, Ian Horrocks:
Extending DL Reasoning Support for the OWL Datatyping (or "Why Datatype Groups?").
Applications 2
- Ronald Cornet, Ameen Abu-Hanna:
Using Non-Primitive Concept Definitions for Improving DL-based Knowledge Bases. - Volker Haarslev, Ralf Möller, Ragnhild Van Der Straeten, Michael Wessel:
Extended Query Facilities for Racer and an Application to Software-Engineering Problems.
Theory 2
- Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello:
A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN. - Jan Hladik, Jörg Model:
Tableau Systems for SHIO and SHIQ. - David Toman, Grant E. Weddell:
Attribute Inversion in Description Logic with Path Functional Dependencies .
Graphical Interfaces 2
- Anni-Yasmin Turhan, Christian Kissig:
Sonic: System Description. - Brian R. Gaines:
Understanding Ontologies in Scholarly Discipline.
Position Papers
- Daniela Berardi:
Description Logics for e-Service Composition. - Ken Kaneiwa:
Description Logic and Order-sorted Logic. - Francis Kwong:
Explaining Description Logic Reasoning. - Toni Mancini:
Finite Satisfiability of UML Class Diagrams by Constraint Programming. - Evren Sirin, Bijan Parsia:
Pellet: An OWL DL Reasoner. - Stefan Schulz:
DL Requirements from Medicine and Biology.
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.