Examples of org.openrdf.sail.inferencer.fc.DirectTypeHierarchyInferencer

org.openrdf.sail.inferencer.fc.DirectTypeHierarchyInferencer

A forward-chaining inferencer that infers the direct-type hierarchy relations {@link SESAME#DIRECTSUBCLASSOF sesame:directSubClassOf}, {@link SESAME#DIRECTSUBPROPERTYOF sesame:directSubPropertyOf} and{@link SESAME#DIRECTTYPE sesame:directType}.

The semantics of this inferencer are defined as follows:

 Class A is a direct subclass of B iff: 1. A is a subclass of B and; 2. A and B are not equa and; 3. there is no class C (unequal A and B) such that  A is a subclass of C and C of B. Property P is a direct subproperty of Q iff: 1. P is a subproperty of Q and; 2. P and Q are not equal and; 3. there is no property R (unequal P and Q) such that P is a subproperty of R and R of Q. Resource I is of direct type T iff: 1. I is of type T and 2. There is no class U (unequal T) such that: a. U is a subclass of T and; b. I is of type U.

  {
    if (!SAIL_TYPE.equals(config.getType())) {
      throw new StoreConfigException("Invalid Sail type: " + config.getType());
    }


    return new DirectTypeHierarchyInferencer();
  }

View Full Code Here

    else if ("RDFS".equals(entailment)) {
      sail = new ForwardChainingRDFSInferencer(sail);
    }
    else if ("RDFS-VP".equals(entailment)) {
      sail = new ForwardChainingRDFSInferencer(sail);
      sail = new DirectTypeHierarchyInferencer(sail);
    }
    else {
      fail("Invalid value for entailment level:" + entailment);
    }
    return sail;

View Full Code Here

  {
    if (!SAIL_TYPE.equals(config.getType())) {
      throw new SailConfigException("Invalid Sail type: " + config.getType());
    }


    return new DirectTypeHierarchyInferencer();
  }

View Full Code Here

    else if ("RDFS".equals(entailment)) {
      sail = new ForwardChainingRDFSInferencer(sail);
    }
    else if ("RDFS-VP".equals(entailment)) {
      sail = new ForwardChainingRDFSInferencer(sail);
      sail = new DirectTypeHierarchyInferencer(sail);
    }
    else {
      sail.shutDown();
      fail("Invalid value for entailment level:" + entailment);
    }

View Full Code Here

  
  protected RepositoryConnection initFromSail(Sail sailStack, boolean inferencing) {
    if (inferencing) {
      if(sailStack instanceof NotifyingSail) {
        sailStack = new ForwardChainingRDFSInferencer((NotifyingSail) sailStack);
        sailStack = new DirectTypeHierarchyInferencer((NotifyingSail) sailStack);
      } else {
        throw new RuntimeException("Cannot create inferencing: Incompatible Sail type.");
      }
    }

View Full Code Here

TOP

Related Classes of org.openrdf.sail.inferencer.fc.DirectTypeHierarchyInferencer

org.activerdf.wrapper.sesame2.WrapperForSesame2

org.openrdf.model.URI

org.openrdf.model.Value

org.openrdf.model.ValueFactory

org.openrdf.query.BindingSet

org.openrdf.query.parser.serql.SeRQLQueryTest

org.openrdf.query.parser.serql.SeRQLQueryTestCase

org.openrdf.sail.helpers.SailMetaDataWrapper

org.openrdf.sail.inferencer.fc.config.DirectTypeHierarchyInferencerFactory

org.openrdf.sail.inferencer.helpers.AutoCommitInferencerConnection

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.