Home > Ontology > Logics

Logics

Common Logic A Framework for a Family Of Logic-Based Languages – John F Sowa
http://www.jfsowa.com/talks/clruleml.pdf

Mathematical Background by John F. Sowa
http://www.jfsowa.com/logic/math.htm

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

Advertisements
  1. No comments yet.
  1. No trackbacks yet.

Leave a Reply

Please log in using one of these methods to post your comment:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: