Difference between revisions of "Description Logic"

From BC$ MobileTV Wiki
Jump to: navigation, search
Line 1: Line 1:
 
''Description Logic'' (commonly abbreviated ''DL'') is a set of mathematical rules and expressions for describing an action or set of outcomes, based on a particular set of inputs, as defined by principles of mathematical.
 
''Description Logic'' (commonly abbreviated ''DL'') is a set of mathematical rules and expressions for describing an action or set of outcomes, based on a particular set of inputs, as defined by principles of mathematical.
 +
 +
 +
 +
 +
 +
== Tools ==
 +
 +
* Description Logic - Complexity of Reasoning (calculator/tool): http://www.cs.man.ac.uk/~ezolin/dl/
 +
 +
 +
 +
 +
== Resources ==
 +
 +
* Description Logic - Knowledge Representation: http://dl.kr.org/
 +
 +
 +
 +
 +
 +
== Tutorials ==
 +
 +
* '''Making Linked Data Reasonable using Description Logics, Part 1 -- Can a ‘Separation of Concerns’ Lead to Better Slicing of the Pie?: http://www.mkbergman.com/?p=474'''
 +
* '''Making Linked Data Reasonable using Description Logics, Part 2 -- Good Design is Based on the Work to be Done: http://www.mkbergman.com/?p=476'''
 +
* Presentations on DL: http://www.cs.man.ac.uk/~horrocks/Slides/index.html
 +
  
  
Line 9: Line 35:
 
* Thinking ‘Inside the Box’ with Description Logics: http://www.mkbergman.com/?p=466
 
* Thinking ‘Inside the Box’ with Description Logics: http://www.mkbergman.com/?p=466
 
* Our Approach to Modeling, Fidelity, and KR: http://clarkparsia.com/weblog/2008/12/19/our-approach-to-modeling-fidelity-and-kr/
 
* Our Approach to Modeling, Fidelity, and KR: http://clarkparsia.com/weblog/2008/12/19/our-approach-to-modeling-fidelity-and-kr/
 
* '''Making Linked Data Reasonable using Description Logics, Part 1 -- Can a ‘Separation of Concerns’ Lead to Better Slicing of the Pie?: http://www.mkbergman.com/?p=474'''
 
* '''Making Linked Data Reasonable using Description Logics, Part 2 -- Good Design is Based on the Work to be Done: http://www.mkbergman.com/?p=476'''
 

Revision as of 19:22, 17 February 2010

Description Logic (commonly abbreviated DL) is a set of mathematical rules and expressions for describing an action or set of outcomes, based on a particular set of inputs, as defined by principles of mathematical.



Tools



Resources



Tutorials



External Links