Home

Welcome to the blackbird-plugin wiki!

Ontology pre-processing step

For every axiom of the form EquivalentClasses( :ClassExpr_1 :ClassExpr_2 ... :ClassExpr_N) the pre-processing steps performs the following: for every i in 1..N and for every j in 1..N, if (i != j)

• add axiom SubClassOf( :ClassExpr_i :ClassExpr_j ) to ontology
• add axiom SubClassOf( :ClassExpr_j :ClassExpr_i ) to ontology`

List of axioms used to produce the first version of the schema

Property domain typing axioms:

• ObjectPropertyDomain( :ObjectProperty :Class )
• ObjectPropertyDomain( :ObjectProperty ObjectIntersectionOf( :Class_1 :Class_2 ... :Class_N ) )
• ObjectPropertyRange( :ObjectProperty :Class )
• ObjectPropertyRange( :ObjectProperty ObjectIntersectionOf( :Class_1 :Class_2 ... :Class_N ) )
• DataPropertyDomain( :DataProperty :Class )
• DataPropertyDomain( :DataProperty ObjectIntersectionOf( :Class_1 :Class_2 ... :Class_N ) )

Property domain typing expressed via sub-class-of axioms:

• SubClassOf( ObjectSomeValuesFrom( :ObjectProperty owl:Thing ) :Class)
• SubClassOf( ObjectSomeValuesFrom( ObjectInverseOf( :ObjectProperty ) owl:Thing ) :Class)
• SubClassOf( DataSomeValuesFrom( :DataProperty owl:Thing ) :Class)

Participation axioms:

• SubClassOf( :Class ObjectSomeValuesFrom( :ObjectProperty owl:Thing ))
• SubClassOf( :Class ObjectSomeValuesFrom( ObjectInverseOf( :ObjectProperty ) owl:Thing ))
• SubClassOf( :Class DataSomeValuesFrom( :DataProperty owl:Thing ))

ISA between classes:

• SubClassOf( :SubClass :SuperClass)
• SubClassOf( :SubClass ObjectIntersectionOf( :SuperClass_1 :SuperClass_2 ... :SuperClass_N ) )
• SubClassOf( ObjectUnionOf( :SubClass_1 :SubClass_2 ... :SubClass_N ) :SuperClass )