Skip to content
This repository was archived by the owner on Jan 19, 2026. It is now read-only.

Some SWRL rules refer to an object property in head that is not properly declared #31

@NicolasRouquette

Description

@NicolasRouquette

In branch IMCEIS-1477, the mission ontology defines several SWRL inference rules like this one:

    <rdf:Description>
        <swrla:isRuleEnabled rdf:datatype="http://www.w3.org/2001/XMLSchema#boolean">true</swrla:isRuleEnabled>
        <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"></rdfs:comment>
        <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">S29</rdfs:label>
        <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#Imp"/>
        <swrl:body>
            <rdf:Description>
                <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#AtomList"/>
                <rdf:first>
                    <rdf:Description>
                        <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#IndividualPropertyAtom"/>
                        <swrl:propertyPredicate rdf:resource="http://imce.jpl.nasa.gov/foundation/mission/mission#specifies"/>
                        <swrl:argument1 rdf:resource="http://imce.jpl.nasa.gov/foundation/mission/mission#r"/>
                        <swrl:argument2 rdf:resource="http://imce.jpl.nasa.gov/foundation/mission/mission#c"/>
                    </rdf:Description>
                </rdf:first>
                <rdf:rest>
                    <rdf:Description>
                        <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#AtomList"/>
                        <rdf:first>
                            <rdf:Description>
                                <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#ClassAtom"/>
                                <swrl:classPredicate rdf:resource="http://imce.jpl.nasa.gov/foundation/mission/mission#Component"/>
                                <swrl:argument1 rdf:resource="http://imce.jpl.nasa.gov/foundation/mission/mission#c"/>
                            </rdf:Description>
                        </rdf:first>
                        <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
                    </rdf:Description>
                </rdf:rest>
            </rdf:Description>
        </swrl:body>
        <swrl:head>
            <rdf:Description>
                <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#AtomList"/>
                <rdf:first>
                    <rdf:Description>
                        <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#IndividualPropertyAtom"/>
                        <swrl:propertyPredicate rdf:resource="http://imce.jpl.nasa.gov/foundation/mission/mission#binds"/>
                        <swrl:argument1 rdf:resource="http://imce.jpl.nasa.gov/foundation/mission/mission#r"/>
                        <swrl:argument2 rdf:resource="http://imce.jpl.nasa.gov/foundation/mission/mission#c"/>
                    </rdf:Description>
                </rdf:first>
                <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
            </rdf:Description>
        </swrl:head>
    </rdf:Description>

This involves a new unreified relationship, mission:binds, which is ill-formed because it lacks a domain & range class.

    <!-- http://imce.jpl.nasa.gov/foundation/mission/mission#binds -->

    <owl:ObjectProperty rdf:about="http://imce.jpl.nasa.gov/foundation/mission/mission#binds">
        <rdfs:subPropertyOf rdf:resource="http://imce.jpl.nasa.gov/backbone/imce.jpl.nasa.gov/foundation/mission/mission#topUnreifiedObjectProperty"/>
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#AsymmetricProperty"/>
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#IrreflexiveProperty"/>
    </owl:ObjectProperty>

It seems it ought to be:

    <!-- http://imce.jpl.nasa.gov/foundation/mission/mission#binds -->

    <owl:ObjectProperty rdf:about="http://imce.jpl.nasa.gov/foundation/mission/mission#binds">
        <rdfs:subPropertyOf rdf:resource="http://imce.jpl.nasa.gov/backbone/imce.jpl.nasa.gov/foundation/mission/mission#topUnreifiedObjectProperty"/>
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#AsymmetricProperty"/>
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#IrreflexiveProperty"/>
        <rdfs:domain rdf:resource="http://imce.jpl.nasa.gov/foundation/mission/mission#Requirement"/>
        <rdfs:range rdf:resource="http://imce.jpl.nasa.gov/foundation/mission/mission#PerformingElement"/>
    </owl:ObjectProperty>

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions