default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDescription Logics 2001: Stanford, CA, USA
- Carole A. Goble, Deborah L. McGuinness, Ralf Möller, Peter F. Patel-Schneider:
Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001. CEUR Workshop Proceedings 49, CEUR-WS.org 2001 - Sean Bechhofer, Ian Horrocks, Carole A. Goble, Robert Stevens:
OilEd: a Reason-able Ontology Editor for the Semantic Web. - Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Ontology of Integration and Integration of Ontologies. - Jérôme Euzenat:
Preserving Modularity in XML Encoding of Description Logics. - Ian Horrocks, Peter F. Patel-Schneider:
The Generation of DAML+OIL. - Franz Baader, Ralf Küsters:
Unification in a Description Logic with Transitive Closure of Roles. - Franz Baader, Anni-Yasmin Turhan:
TBoxes do not Yield a Compact Representation of Least Common Subsumers. - Fabio Grandi:
On Expressive Number Restrictions in Description Logics. - Carsten Lutz, Ulrike Sattler, Frank Wolter:
Description Logics and the Two-Variable Fragment. - David Toman, Grant E. Weddell:
On Attributes, Roles, and Dependencies in Description Logics and the Ackermann Case of the Decision Problem. - Anni-Yasmin Turhan, Ralf Molitor:
Using Lazy Unfolding for the Computation of Least Common Subsumers. - Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev:
The DLRUS Temporal Description Logic. - Alexander Borgida:
Diachronic Description Logics. - Oliver Kutz, Frank Wolter, Michael Zakharyaschev:
A Note on Concepts and Distances. - Michael Wessel:
Obstacles on the Way to Qualitative Spatial Reasoning with Description Logics: Some Undecidability Results. - Volker Haarslev, Ralf Möller:
Description of the RACER System and its Applications. - Volker Haarslev, Ralf Möller:
Optimizing Reasoning in Description Logics with Qualified Number Restrictions. - Volker Haarslev, Martina Timmann, Ralf Möller:
Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions. - Christian Günsel, Marco Wittmann:
Towards an Implementation of the Temporal Description Logic TLALC. - Sergio Tessaris:
Querying expressive DLs. - Deborah L. McGuinness:
Description Logics Emerge from Ivory Towers.
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-09-26 00:44 CEST 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:
