Difference between revisions of "Description Logic"
From BC$ MobileTV Wiki
Line 1: | Line 1: | ||
− | '' | + | '''D'''escription '''L'''ogic (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. |
Line 7: | Line 7: | ||
== Tools == | == Tools == | ||
+ | * '''DL-Learner''': http://sourceforge.net/projects/dl-learner/ | ||
* Description Logic - Complexity of Reasoning (calculator/tool): http://www.cs.man.ac.uk/~ezolin/dl/ | * Description Logic - Complexity of Reasoning (calculator/tool): http://www.cs.man.ac.uk/~ezolin/dl/ | ||
Line 14: | Line 15: | ||
== Resources == | == Resources == | ||
− | * Description Logic - Knowledge Representation: http://dl.kr.org/ | + | * '''Description Logic - Knowledge Representation: http://dl.kr.org/''' |
Revision as of 05:04, 18 June 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.
Contents
Tools
- DL-Learner: http://sourceforge.net/projects/dl-learner/
- 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
External Links
- wikipedia:Description Logic
- Back to the Future with Description Logics: http://www.mkbergman.com/?p=470
- 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/