Difference between revisions of "Description Logic"

From BC$ MobileTV Wiki
Jump to: navigation, search
Line 7: Line 7:
 
== Tools ==
 
== Tools ==
  
* '''DL-Learner''': http://sourceforge.net/projects/dl-learner/
+
* '''IRIS Reasoner: http://iris-reasoner.org'''<ref>http://iris-reasoner.org/demo</ref>
 +
* 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 16: Line 15:
  
 
* '''Description Logic - Knowledge Representation: http://dl.kr.org/'''
 
* '''Description Logic - Knowledge Representation: http://dl.kr.org/'''
 
 
 
  
  
Line 26: Line 22:
 
* '''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'''
 
* '''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
 
* Presentations on DL: http://www.cs.man.ac.uk/~horrocks/Slides/index.html
 
 
  
  
Line 37: Line 31:
 
* 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/
  
 +
== References ==
  
 +
<references />
  
 
== See Also ==
 
== See Also ==
  
 
[[Rule Engine]] | [[Semantic Web]] | [[AI]] | [[Machine Learning]]
 
[[Rule Engine]] | [[Semantic Web]] | [[AI]] | [[Machine Learning]]

Revision as of 01:17, 11 May 2011

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

References

  1. http://iris-reasoner.org/demo

See Also

Rule Engine | Semantic Web | AI | Machine Learning