Difference between revisions of "Description Logic"

From BC$ MobileTV Wiki
Jump to: navigation, search
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.
 
'''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.
  
 +
 +
 +
== EXAMPLE ==
 +
 +
'''FACTS'''
 +
<pre>
 +
man('homer').
 +
woman('marge').
 +
hasSon('homer','bart').
 +
hasSon('marge','bart').
 +
hasDaughter('homer','lisa').
 +
hasDaughter('marge','lisa').
 +
hasDaughter('homer','maggie').
 +
hasDaughter('marge','maggie').
 +
hasPet('simpsons','santas little helper').
 +
married('homer','marge').
 +
isMale(?x) :- man(?x).
 +
isFemale(?x) :- woman(?x).
 +
isMale(?y) :- hasSon(?x,?y).
 +
isFamily('') :- hasSon(?x,?y).
 +
isFamily('') :- hasDaughter(?x,?y).
 +
</pre>
 +
 +
'''QUERY'''
 +
<pre>
 +
?-isMale(?x).
 +
</pre>
  
  

Revision as of 01:27, 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.


EXAMPLE

FACTS

man('homer').
woman('marge').
hasSon('homer','bart').
hasSon('marge','bart').
hasDaughter('homer','lisa').
hasDaughter('marge','lisa').
hasDaughter('homer','maggie').
hasDaughter('marge','maggie').
hasPet('simpsons','santas little helper').
married('homer','marge').
isMale(?x) :- man(?x).
isFemale(?x) :- woman(?x).
isMale(?y) :- hasSon(?x,?y).
isFamily('') :- hasSon(?x,?y).
isFamily('') :- hasDaughter(?x,?y).

QUERY

?-isMale(?x).



Tools


Resources


Tutorials


External Links

References

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

See Also

Rule Engine | Semantic Web | AI | Machine Learning