Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
28 | Jeff Z. Pan |
A Scheme for Integrating Datatype Groups into Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005, 2005, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
28 | Xi Deng, Volker Haarslev, Nematollaah Shiri |
A Resolution Based Framework to Explain Reasoning in Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005, 2005, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
28 | Lilia Georgieva, Patrick Maier 0001 |
Towards Using Description Logics for Symbolic Shape Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005, 2005, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
28 | David Toman 0001, Grant E. Weddell |
On Path-functional Dependencies as First-class Citizens in Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005, 2005, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
28 | Volker Haarslev, Ralf Möller 0001, Michael Wessel |
Description Logic Inference Technology: Lessions Learned in the Trenches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005, 2005, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
28 | Ullrich Hustadt, Boris Motik |
Description Logics and Disjunctive Datalog - The Story so Far. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005, 2005, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
28 | Taufiq Rochaeli, Claudia Eckert 0001 |
Attack Goal Generation Using Description Logic-based Knowledge Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005, 2005, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
28 | Alexander Borgida, Thomas J. Walsh 0001, Haym Hirsh |
Towards Measuring Similarity in Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005, 2005, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
28 | Franz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter |
Integrating Description Logics and Action Formalisms: First Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005, 2005, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
28 | Antoon Goderis, Ulrike Sattler, Carole A. Goble |
Applying Description Logics for Workflow Reuse and Repurposing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005, 2005, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
28 | Yu Ding 0004, Volker Haarslev |
Towards Efficient Reasoning for Description Logics with Inverse Roles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005, 2005, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
28 | Alena Lukasová |
Reasoning with Semantic Tableau Binary Trees in Description Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005, 2005, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
28 | Chen Zhao 0001, NuerMaimaiti Heilili, Shengping Liu, Zuoquan Lin |
Using Description Logic to Formalize Role-Based Access Control Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005, 2005, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
28 | Franz Baader, Carsten Lutz, Eldar Karabaev, Manfred Theißen |
A new n-ary existential quantifier in description logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005, 2005, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
28 | Jan Hladik |
A Generator for Description Logic Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005, 2005, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
28 | David Toman 0001, Grant E. Weddell |
Attribute Inversion in Description Logic with Path Functional Dependencies . ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, 2004, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
28 | Luciano Serafini, Andrei Tamilin |
Local Tableaux for Reasoning in Distributed Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, 2004, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
28 | Anni-Yasmin Turhan, Christian Kissig |
Sonic: System Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, 2004, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
28 | Daniela Berardi |
Description Logics for e-Service Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, 2004, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
28 | Holger Knublauch, Mark A. Musen, Alan L. Rector |
Editing Description Logic Ontologies with the Protégé OWL Plugin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, 2004, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
28 | Ken Kaneiwa |
Description Logic and Order-sorted Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, 2004, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
28 | Andrea Calì, Diego Calvanese, Simona Colucci, Tommaso Di Noia, Francesco M. Donini |
A Description Logic Based Approach for Matching User Profiles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, 2004, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
28 | Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo |
Towards Implementing Finite Model Reasoning in Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, 2004, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
28 | Francis Kwong |
Explaining Description Logic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, 2004, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
28 | François de Bertrand de Beuvron, Amadou Coulibaly |
Applying Description Logic to Product Behavioral Design within Advanced CAD Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003, 2003, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
28 | Franz Baader |
Description Logic Terminology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logic Handbook ![In: The Description Logic Handbook: Theory, Implementation, and Applications, pp. 485-495, 2003, Cambridge University Press, 0-521-78176-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
28 | Lubomir Stanchev, Grant E. Weddell |
Index Selection for Embedded Control Applications using Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003, 2003, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
28 | Ragnhild Van Der Straeten, Jocelyn Simmonds, Tom Mens |
Detecting Inconsistencies between UML Models Using Description Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003, 2003, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
28 | Daniele Nardi, Ronald J. Brachman |
An Introduction to Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logic Handbook ![In: The Description Logic Handbook: Theory, Implementation, and Applications, pp. 1-40, 2003, Cambridge University Press, 0-521-78176-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
28 | David DeHaan, David Toman 0001, Grant E. Weddell |
Rewriting Aggregate Queries using Description Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003, 2003, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
28 | Franz Baader, Ralf Küsters, Frank Wolter |
Extensions to Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logic Handbook ![In: The Description Logic Handbook: Theory, Implementation, and Applications, pp. 219-261, 2003, Cambridge University Press, 0-521-78176-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
28 | Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello |
Concept Abduction and Contraction in Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003, 2003, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
28 | Alexander Borgida, Maurizio Lenzerini, Riccardo Rosati 0001 |
Description Logics for Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logic Handbook ![In: The Description Logic Handbook: Theory, Implementation, and Applications, pp. 462-484, 2003, Cambridge University Press, 0-521-78176-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
28 | Ian Horrocks 0001, Peter F. Patel-Schneider |
Reducing OWL Entailment to Description Logic Satisfability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003, 2003, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
28 | Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella |
e-Service Composition by Description Logics Based Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003, 2003, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
28 | Franz Baader, Werner Nutt |
Basic Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logic Handbook ![In: The Description Logic Handbook: Theory, Implementation, and Applications, pp. 43-95, 2003, Cambridge University Press, 0-521-78176-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
28 | Deborah L. McGuinness, Peter F. Patel-Schneider |
From Description Logic Provers to Knowledge Representation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logic Handbook ![In: The Description Logic Handbook: Theory, Implementation, and Applications, pp. 265-281, 2003, Cambridge University Press, 0-521-78176-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
28 | Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
E-connections of Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003, 2003, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
28 | Franz Baader |
Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003, 2003, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
28 | Sean Bechhofer, Ralf Möller 0001, Peter Crowther |
The DIG Description Logic Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003, 2003, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
28 | Alexander Borgida, Ronald J. Brachman |
Conceptual Modeling with Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logic Handbook ![In: The Description Logic Handbook: Theory, Implementation, and Applications, pp. 349-372, 2003, Cambridge University Press, 0-521-78176-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
28 | Diego Calvanese, Giuseppe De Giacomo |
Expressive Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logic Handbook ![In: The Description Logic Handbook: Theory, Implementation, and Applications, pp. 178-218, 2003, Cambridge University Press, 0-521-78176-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
28 | Ralf Möller 0001, Volker Haarslev |
Description Logic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logic Handbook ![In: The Description Logic Handbook: Theory, Implementation, and Applications, pp. 282-305, 2003, Cambridge University Press, 0-521-78176-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
28 | Enrico Franconi, David Toman 0001 |
Fixpoint Extensions of Temporal Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003, 2003, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
28 | Shinyoung Lim |
Status Report on Description Logics related Project in Korea. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003, 2003, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
28 | Fabio Grandi 0001 |
Decidability of Expressive Description Logics with Role Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002, 2002, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
28 | Martin Peim, Enrico Franconi, Norman W. Paton, Carole A. Goble |
Querying Objects with Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002, 2002, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
28 | Martin Peim, Enrico Franconi, Norman W. Paton |
Estimating Soundness and Completeness over Queries Over Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002, 2002, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
28 | Alexander Borgida, Luciano Serafini |
Distributed Description Logics: First results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002, 2002, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
28 | Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt |
On the relationship between decidable fragments, non-classical logics, and description logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002, 2002, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
28 | Franz Baader, Ralf Küsters |
Unification in a Description Logic with Inconsistency and Transitive Closure of Roles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002, 2002, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
28 | Gilles Nachouki, Mohamed Quafafou |
Description Logic in Semantics Querying. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002, 2002, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
28 | Nikolaj Oldager |
Algebraic Lattices and Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002, 2002, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
28 | Ragnhild Van Der Straeten |
Using Description Logic in Object-Oriented Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002, 2002, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
28 | Huizhu Liu, David Toman 0001, Grant E. Weddell |
Fine Grained Information Integration with Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002, 2002, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
28 | Patrick Blackburn |
Hybrid Logic and Description Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002, 2002, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
28 | Mathieu Roger, Ana Simonet, Michel Simonet |
Toward Updates in Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002, 2002, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
28 | Jeff Z. Pan, Ian Horrocks 0001 |
Reasoning in the SHOQ(Dn) Description Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002, 2002, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
28 | Michael Wessel |
On Spatial Reasoning with Description Logics - Position Paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002, 2002, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
28 | Fabio Grandi 0001 |
On Expressive Number Restrictions in Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, 2001, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
28 | Deborah L. McGuinness |
Description Logics Emerge from Ivory Towers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, 2001, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
28 | David Toman 0001, Grant E. Weddell |
On Attributes, Roles, and Dependencies in Description Logics and the Ackermann Case of the Decision Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, 2001, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
28 | Christian Günsel, Marco Wittmann |
Towards an Implementation of the Temporal Description Logic TLALC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, 2001, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
28 | Volker Haarslev, Ralf Möller 0001 |
Optimizing Reasoning in Description Logics with Qualified Number Restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, 2001, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
28 | Volker Haarslev, Ralf Möller 0001 |
Description of the RACER System and its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, 2001, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
28 | Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev |
The DLRUS Temporal Description Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, 2001, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
28 | Jérôme Euzenat |
Preserving Modularity in XML Encoding of Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, 2001, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
28 | Michael Wessel |
Obstacles on the Way to Qualitative Spatial Reasoning with Description Logics: Some Undecidability Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, 2001, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
28 | Carsten Lutz, Ulrike Sattler, Frank Wolter |
Description Logics and the Two-Variable Fragment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, 2001, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
28 | Franz Baader, Ralf Küsters |
Unification in a Description Logic with Transitive Closure of Roles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, 2001, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
28 | Alexander Borgida |
Diachronic Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, 2001, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
28 | Erika Valencia, Jean-Paul Sansonnet |
Simplicial Complexes for Description Logics Terminologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000, pp. 257-266, 2000, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
28 | Liviu Badea, Shan-Hwei Nienhuys-Cheng |
Refining Concepts in Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000, pp. 31-44, 2000, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
28 | Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter |
Fusions of Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000, pp. 21-30, 2000, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
28 | Anni-Yasmin Turhan, Volker Haarslev |
Adapting Optimization Techniques to Description Logics with Concrete Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000, pp. 247-256, 2000, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
28 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini |
Keys for Free in Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000, pp. 79-88, 2000, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
28 | Jan Hladik |
Implementing the n-ary Description Logic GF1¯. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000, pp. 163-172, 2000, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
28 | Stefan Schlobach |
Assertional Mining in Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000, pp. 237-246, 2000, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
28 | Carole A. Goble |
What have the Romans (and Germans) ever done for us? or There are real applications for Description Logics some of which even take advantage of their reasoning services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000, pp. 3-7, 2000, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
28 | Martina Kullmann, François de Bertrand de Beuvron, François Rousselot |
A Description Logic Model for Reacting in a Dynamic Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000, pp. 203-212, 2000, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
28 | Vitaliy L. Khizder, David Toman 0001, Grant E. Weddell |
On Decidability and Complexity of Description Logics with Uniqueness Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000, pp. 193-202, 2000, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
28 | François Goasdoué, Marie-Christine Rousset |
Rewriting Conjunctive Queries using Views in Description Logics with Existential Restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000, pp. 113-122, 2000, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
28 | Carlos Areces, Wiet Bouma, Maarten de Rijke |
Description Logics and Feature Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999, 1999, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
28 | Armando Tacchella |
*SAT System Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999, 1999, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
28 | Riccardo Rosati 0001 |
Towards expressive KR systems integrating datalog and description logics: preliminary report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999, 1999, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
28 | Uta Priss |
Description Logic and Faceted Knowledge Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999, 1999, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
28 | Franz Baader, Ralf Molitor |
Rewriting in Description Logics Using Terminologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999, 1999, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
28 | Hans Jürgen Ohlbach |
Set Description Languages and Reasoning about Numerical Features of Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999, 1999, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
28 | Thomas Mantay |
Computing Least Common Subsumers in Expressive Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999, 1999, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
28 | Volker Haarslev, Ralf Möller 0001 |
RACE System Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999, 1999, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
28 | Stephan Tobies |
On the Complexity of Counting in Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999, 1999, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
28 | Volker Haarslev, Ralf Möller 0001 |
An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999, 1999, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
28 | Sean Bechhofer, Ian Horrocks 0001, Peter F. Patel-Schneider, Sergio Tessaris |
A Proposal for a Description Logic Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999, 1999, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
28 | Daniel Kudenko, Haym Hirsh |
Feature-Based Learners for Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999, 1999, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
28 | Alessandro Artale, Carsten Lutz |
A Correspondence between Temporal Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999, 1999, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
28 | Franz Baader, Ralf Küsters |
Matching in Description Logics with Existential Restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999, 1999, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
28 | Eugenio Di Sciascio, Francesco M. Donini |
Description Logics for Image Recognition: a preliminary proposal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999, 1999, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
28 | Anna Dorofeyeva |
Analysis of Semantic Networks By Means of Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999, 1999, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
28 | Martina Grathwohl, François de Bertrand de Beuvron, François Rousselot |
A New Application for Description Logics: Disaster Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999, 1999, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
28 | Carsten Lutz, Ulrike Sattler, Stephan Tobies |
A Suggestion for an n-ary Description Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999, 1999, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|