Download Zdroje

Zdroje
Petr Křemen
FEL ČVUT
Petr Křemen (FEL ČVUT)
Zdroje
133 / 138
Co nás čeká
Petr Křemen (FEL ČVUT)
Zdroje
134 / 138
Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi,
and Peter Patel-Schneider, editors.
The Description Logic Handbook, Theory, Implementation and
Applications.
Cambridge, 2003.
Frithjof Dau.
Concept Graphs and Predicate Logic.
In H.Delugach and G.Stumme, editors, ICCS 2001, pages 72–86.
Springer-Verlag, 2001.
Maria Garcia de la Banda, Peter J. Stuckey, and Jeremy Wazny.
Finding All Minimal Unsatisfiable Subsets.
In PPDP’03, 2003.
Hashim Habiballa.
Resolution Based Reasoning in Description Logics.
In Znalosti 2006, 2006.
Petr Křemen (FEL ČVUT)
Zdroje
135 / 138
Volker Haarslev, Hsueh-Ieng Pai, and Nematollaah Shiri.
A Generic Framework for Description Logics with Uncertainty.
2005.
I. Horrocks and U. Sattler.
Ontology Reasoning in the SHOQ(D) Description Logic.
In Proceedings of the Seventeenth International Joint Conference on
Artificial Intelligence, 2001.
Ian Horrocks and Ulrike Sattler.
Decidability of SHIQ with complex role inclusion axioms.
2003.
Aditya Kalyanpur.
Debugging and Repair of OWL Ontologies.
PhD thesis, University of Maryland, 2006.
Petr Křemen (FEL ČVUT)
Zdroje
136 / 138
Vladimı́r Mařı́k, Olga Štěpánková, and Jiřı́ Lažanský.
Umělá inteligence 1.
Academia, 1993.
OWL 2 Web Ontology Language Document Overview.
http://www.w3.org/TR/2009/PR-owl2-overview-20090922/, 2009.
Peter F. Patel-Schneider, Patrick Hayes, and Ian Horrocks.
Owl web ontology language semantics and abstract syntax section 5.
rdf-compatible model-theoretic semantics.
Technical report, W3C, December 2004.
Raymond Reiter.
A Theory of Diagnosis from First Principles.
Artificial Intelligence, 32(1):57–96, April 1987.
Petr Křemen (FEL ČVUT)
Zdroje
137 / 138
John F. Sowa.
Knowledge Representation: Logical, Philosophical and Computational
Foundations.
Brooks/Cole, 2000.
Petr Křemen (FEL ČVUT)
Zdroje
138 / 138