Attribut:Note
Aus International Center for Computational Logic
Dies ist eine Eigenschaft des Typs Zeichenkette.
1
A
Proceedings of the 3rd Slovakian Student Conference in Applied Mathematics, Bratislava, April 2001 (was Technical Report WV-01-05) +
This paper is the extended journal version of the article [[Inproceedings3100/en|On the Semantic Relationship between Datalog and Description Logics]]. +
A Computational Theory for Model Construction, Variation and Inspection in Human Spatial Reasoning +
accepted +
Proceedings online available from http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-22/ +
See http://www-lti.informatik.rwth-aachen.de/Forschung/Papers.html +
Please cite this paper as [[Article4003/en|Description Logics (IEEE Intelligent Systems)]]. +
This chapter is a version of the free [[Techreport4003/en|Description Logic Primer]]. A peer-reviewed version of this material has appeared as the [[Article4003/en|IEEE Intelligent Systems article "Description Logics"]] (please use this for citations).
More information about this book is found on its homepage [http://ontology-learning.net/ Perspectives on Ontology Learning]. +
See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html +
A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions +
Revised version. See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html +
Submitted +
See http://lat.inf.tu-dresden.de/research/reports.html. +
Available from ceur-ws.org +
Extended Abstract +
See http://lat.inf.tu-dresden.de/research/reports.html. +
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL +
See http://lat.inf.tu-dresden.de/research/reports.html. +
ISBN-0-9749039-1-4, +
(was Technical Report WV-01-02) +
(was Technical Report WV–02–01) +