Logic – FOL, DL
May 4th, 2010
No comments
Charles Sanders Peirce – Stanford
http://plato.stanford.edu/entries/peirce/
The Peirce Gateway
http://cspeirce.com/
Archive
Posts Tagged ‘DL’
Logics
December 17th, 2009
No comments
Glossary of First-Order Logic
http://www.earlham.edu/~peters/courses/logsys/glossary.htm
Complexity of reasoning in Description Logics
http://www.cs.manchester.ac.uk/~ezolin/dl/
Position Paper: A Comparison of Two Modeling Paradigms in the Semantic Web
http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/2006/PaHo06a.pdf
Intensionality vs. Intentionality
http://www.cse.buffalo.edu/~rapaport/intensional.html
OWA Enables Incremental, Low-risk Wins for the Semantic Enterprise
http://www.mkbergman.com/852/the-open-world-assumption-elephant-in-the-room/
DESCRIPTION LOGICS
http://dl.kr.org/
DESCRIPTION LOGICS Tutorial Course Information
http://www.inf.unibz.it/~franconi/dl/course/
An Introduction to Description Logics – Chapter 1 Introduction
http://www.google.com/url?sa=t&source=web&ct=res&cd=3&ved=0CBcQFjAC&url=http%3A%2F%2Fwww.inf.unibz.it%2F~franconi%2Fdl%2Fcourse%2Fdlhb%2Fdlhb-01.pdf&ei=KZIrS_b0BcqQtge044CFCQ&usg=AFQjCNHcCqoqNNoWI4ZvTIj00y_S_J9nHw&sig2=idknIcvoEcshRSx252DEMA
Back to the Future with Description Logics
http://www.mkbergman.com/470/back-to-the-future-with-description-logics/
DESCRIPTION LOGICS COURSES AND TUTORIALS
http://dl.kr.org/courses.html
common logic, DL, Logic, OWL 2
