Class SimplePropertyAndTypeRule

  • All Implemented Interfaces:
    ReasonerPlugin

    public abstract class SimplePropertyAndTypeRule
    extends Object
    implements ReasonerPlugin
    handles rules of the form assertedProp(?x, ?y) ^ type(?x) -> inferredProp(?x, ?y)
    Author:
    bjl23
    • Constructor Detail

      • SimplePropertyAndTypeRule

        protected SimplePropertyAndTypeRule​(String assertedProp,
                                            String type,
                                            String inferredProp)
    • Method Detail

      • addedABoxStatement

        public void addedABoxStatement​(org.apache.jena.rdf.model.Statement stmt,
                                       org.apache.jena.rdf.model.Model aboxAssertionsModel,
                                       org.apache.jena.rdf.model.Model aboxInferencesModel,
                                       org.apache.jena.ontology.OntModel TBoxInferencesModel)
        Specified by:
        addedABoxStatement in interface ReasonerPlugin
      • removedABoxStatement

        public void removedABoxStatement​(org.apache.jena.rdf.model.Statement stmt,
                                         org.apache.jena.rdf.model.Model aboxAssertionsModel,
                                         org.apache.jena.rdf.model.Model aboxInferencesModel,
                                         org.apache.jena.ontology.OntModel TBoxInferencesModel)
        Specified by:
        removedABoxStatement in interface ReasonerPlugin