Discover From This Page & Topic: [Discover] descriptionlogics
[Discover] ESSLLI 2002 Course on Description Logics http://lat.inf.tu-dresden.de/~clu/esslli.html
(owl descriptionlogics descriptionlogic semanticweb) 
[Discover] DESCRIPTION LOGICS course http://www.inf.unibz.it/~franconi/dl/course/ (owl descriptionlogic tutorial logic)
[Discover] 中国XML论坛 - 专业的XML技术讨论区--论坛首页 http://60.28.222.210/index.asp? (descriptionlogics)
[Discover] Slides from Presentations http://www.cs.man.ac.uk/~horrocks/Slides/index.html (descriptionlogics)
[Discover] Ian Horrocks' publications http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/selected.html (descriptionlogic ontology researcher)
[Discover] Homepage of Prof. Franz Baader http://lat.inf.tu-dresden.de/~baader/index-en.html (descriptionlogic researcher)
[Discover] DESCRIPTION LOGICS course http://web.inf.unibz.it/~franconi/dl/course/ (tutorial semanticweb descriptionlogics)
[Discover] The Concept of Necessary Conditions and Sufficient Conditions http://www.sfu.ca/philosophy/swartz/conditions1.htm (ontology assertion reference article)