Académique Documents
Professionnel Documents
Culture Documents
INTRODUCTION
fact
user
reasoning engine
reasoning result
-
489
Consequent(hasUncle(I-variable(a)I-variable(c))
SWRL also support rich embedded principles, such as
used for comparison of the equal swrlb: equak swrlb:
greater Than Or Equal etc, and mathematical operation
function swrlb: add, swrlb: cos, still Boolean variables, string,
date, URL, the operation principle of list, it is very useful to
create rules of the expert system model.
IV.
SWRL
The expert system in reasoning research has made great
achievement. Meanwhile, there are many experts system
development tools, more commonly used Clips, Jess, there
Prolog etc, these promoted greatly the development of expert
system, and to a certain extent, reduce the difficulty of the
developing expert system. Figure 2 shows the expert system
model based on SWRL, which made full use of the existing
reasoning technology and development tools, and realized
the knowledge sharing and reuse.
consequent::- Consequent'{atom}')'
Atom can be expressed by C(x), P(x,y), sameAs (x, y),
differentFrom (x, y) etc, including C is a description of OWL,
P is an attributes of OWL,, x and y may be variable, OWL
entity or OWL data values. A rule can be looked as if
premise met, then the conclusion also is true.
A.
atom: :=description'('i-object')'
|individualvaluedPropertyID'('i-objecti-object')'
| datavaluedPropertyID'('i-obj ect i-obj ect')'
|sameAs'('i-object i-object')'
|differentFrom'('i-objecti-object')'
The condition of Atom C (x) is that x is an instance C,
The condition of atom P (x, y) is that there is attribute P
relationship between x and y, The condition of atom
sameAs(x, y) is that x and y is belong to the same object, if
the differentFrom (x, y) meet, which means x and y is a
different object. Atoms can also refer to entities (individuals),
material (data literals), entity variables (variadles) or data
may variables etc.
d-onject::=d-variable | dataLiteral
i-variable::=T-variable('URLreference')'
d-variable::='D-variable('URLreference')'
A simple rule of describing kinship "if b is a father of a, c
is brother of b, then c is a uncle of a" which can be
described as below by the above grammar:
Implies(Antecedent(
hasFather(I-variable(a)I-variable(b))
hasBrother(I-variable(b)I-variable(c))
490
<owl:ObjectPropertyrdf:ID=MConnectedTo">
<rdf:typerdf:resource="&owl;SymmerricProperty"/>
<ruleml:imp>
<rdfs:rangerdf:resource="#Device7>
<ruleml:_body>
</owl:ObjectProperty>
<owlx:Class owlx:name="Computer"/>
Compouter(? x) AWormBlaster(? y)
491
<ruleml:var>z</ruleml:var>
</swrlx:individual :PropertyAtom
swrlx:property="hasInfected">
</ruleml: var>z</ruleml: var>
</ruleml:var>y</ruleml:var>
</swrlx:individualPropertyAtom>
</ruleml:_head>
REFERENCES
[1]
</ruleml:imp>
</swrlx: Ontology>
[2]
[3]
[4]
CONCLUSION
[5]
492