Anton
V.
Projects and
blogs
Knowledge graphs and Semantic
Web
OWL reasoning
OWL reasoning
OWL Functional Syntax
Prefix(:=<http://example.org/>) Ontology( :ontology # All flowering plants have flowers, and anything with flowers is a flowering plant. EquivalentClasses(:FloweringPlant ObjectSomeValuesFrom(:hasPart :Flower)) # All magnolias have flowers SubClassOf(:Magnolia ObjectSomeValuesFrom(:hasPart :Flower)) )
1
Prefix
(:=
<http://example.org/>
)
2
3
Ontology
(
4
:ontology
5
6
# All flowering plants have flowers, and anything with flowers is a flowering plant.
7
EquivalentClasses
(
:FloweringPlant
ObjectSomeValuesFrom
(
:hasPart
:Flower
))
8
9
# All magnolias have flowers
10
SubClassOf
(
:Magnolia
ObjectSomeValuesFrom
(
:hasPart
:Flower
))
11
)
The OWL ontology to infer axioms from.
Run inference
Reset
Inferred axioms
Press Run inference to see the results.
OWL reasoning
