Stop the war!Остановите войну!
for scientists:
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.
a service of 
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-08-30 20:30 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:
