default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDescription 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.
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.
last updated on 2024-11-11 21:36 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
