![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Description 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.
![](https://dblp.uni-trier.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.