Description Logic
From BC$ MobileTV Wiki
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
- IRIS Reasoner: http://iris-reasoner.org^{[1]}
- 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/