Examples of org.mindswap.pellet.tableau.completion.EmptySRIQStrategy

Package org.mindswap.pellet.tableau.completion

Examples of org.mindswap.pellet.tableau.completion.EmptySRIQStrategy

org.mindswap.pellet.tableau.completion.EmptySRIQStrategy
Completion strategy for a SRIQ KB that does not have individuals in the ABox. When ABox is empty completion always starts with a single root individual that represents the concept whose satisfiability is being searched. @author Evren Sirin

    boolean fullDatatypeReasoning = PelletOptions.USE_FULL_DATATYPE_REASONING
        && (expressivity.hasCardinalityD() || expressivity.hasKeys());


    if( !fullDatatypeReasoning ) {
      if( conceptSatisfiability && !expressivity.hasNominal() ) {
        return new EmptySRIQStrategy( abox );
      }              
    }    


    return new SROIQStrategy( abox );
  }

View Full Code Here

    boolean fullDatatypeReasoning = PelletOptions.USE_FULL_DATATYPE_REASONING
        && (expressivity.hasCardinalityD() || expressivity.hasKeys());


    if( !fullDatatypeReasoning ) {
      if( conceptSatisfiability && !expressivity.hasNominal() ) {
        return new EmptySRIQStrategy( abox );
      }              
    }    


    return new SROIQStrategy( abox );
  }

View Full Code Here

TOP

Related Classes of org.mindswap.pellet.tableau.completion.EmptySRIQStrategy

aterm.ATermAppl

aterm.ATermList

org.mindswap.pellet.DependencySet

org.mindswap.pellet.Edge

org.mindswap.pellet.EdgeList

org.mindswap.pellet.Individual

org.mindswap.pellet.IndividualIterator

org.mindswap.pellet.KnowledgeBase

org.mindswap.pellet.Node

org.mindswap.pellet.tableau.branch.Branch

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.