Examples of org.semanticweb.owlapi.reasoner.OWLReasoner

org.semanticweb.owlapi.reasoner.OWLReasoner
3.org/TR/owl2-syntax/">OWL 2 Functional Syntax is given in order to capture notions like a class being a "direct" subclass of another class.

StrictSubClassOf
Given two class expressions {@code CE1} and{@code CE2} and an ontology {@code O}, {@code CE1} is a strict subclass of{@code CE2}, written {@code StrictSubClassOf(CE1 CE2)} if {@code O} entails{@code SubClassOf(CE1 CE2)} and {@code O} does not entail{@code SubClassOf(CE2 CE1)}
DirectSubClassOf
Given two class expressions {@code CE1} and{@code CE2} and an ontology {@code O}, {@code CE1} is a directsubclass of {@code CE2}, written {@code DirectSubClassOf(CE1 CE2)}, with respect to {@code O} if {@code O} entails {@code StrictSubClassOf(CE1 CE2)}and there is no class name {@code C} in the signature of {@code O} such that{@code O} entails {@code StrictSubClassOf(CE1 C)} and {@code O} entails{@code StrictSubClassOf(C CE2)}.

StrictSubObjectPropertyOf
Given two object property expressions {@code OPE1} and {@code OPE2} and an ontology {@code O}, {@code OPE1} is astrict subproperty of {@code OPE2}, written {@code StrictSubObjectPropertyOf(OPE1 OPE2)} if {@code O} entails{@code SubObjectPropertyOf(OPE1 OPE2)} and {@code O} does not entail{@code SubObjectPropertyOf(OPE2 OPE1)}
DirectSubObjectPropertyOf
Given two object property expressions {@code OPE1} and {@code OPE2} and an ontology {@code O}, {@code OPE1} is adirect subproperty of {@code OPE2}, written {@code DirectSubObjectPropertyOf(OPE1 OPE2)}, with respect to {@code O} if{@code O} entails {@code StrictSubObjectPropertyOf(OPE1 OPE2)} and there isno object property name {@code P} in the signature of {@code O} such that{@code O} entails {@code StrictSubObjectPropertyOf(OPE1 P)} and {@code O}entails {@code StrictSubObjectPropertyOf(P OPE2)}.

StrictSubDataPropertyOf
Given two dbject property expressions {@code DPE1} and {@code DPE2} and an ontology {@code O}, {@code DPE1} is astrict subproperty of {@code DPE2}, written {@code StrictSubDataPropertyOf(DPE1 DPE2)} if {@code O} entails{@code SubDataPropertyOf(DPE1 DPE2)} and {@code O} does not entail{@code SubDataPropertyOf(DPE1 DPE2)}
DirectSubDataPropertyOf
Given two data property expressions {@code DPE1} and {@code DPE2} and an ontology {@code O}, {@code DPE1} is adirect subproperty of {@code DPE2}, written {@code DirectSubDataPropertyOf(DPE1 DPE2)}, with respect to {@code O} if{@code O} entails {@code StrictSubDataPropertyOf(DPE1 DPE2)} and there is nodata property name {@code P} in the signature of {@code O} such that{@code O} entails {@code StrictSubDataPropertyOf(DPE1 P)} and {@code O}entails {@code StrictSubDataPropertyOf(P DPE2)}.

DirectClassAssertion
Given an individual {@code j} and a classexpression {@code CE} and an ontology {@code O}, {@code CE} is a direct classassertion (type) for {@code j}, written {@code DirectClassAssertion(CE j)}, if {@code O} entails {@code ClassAssertion(CE j)} and there is no class name{@code C} in the signature of {@code O} such that {@code O} entails{@code ClassAssertion(C j)} and {@code O} entails{@code StrictSubClassOf(C CE)}.
ObjectPropertyComplementOf
Given an object property expression {@code pe}, the object property complement of {@code pe} is written as {@code ObjectPropertyComplementOf(pe)}. The interpretation of {@code ObjectPropertyComplementOf(pe)} is equal to theinterpretation of {@code owl:topObjectProperty} minus the interpretation of{@code pe}. In other words, {@code ObjectPropertyComplementOf(pe)} is the setof pairs of individuals that are not in {@code pe}.
DataPropertyComplementOf
Given a data property expression {@code pe} ,the data property complement of {@code pe} is written as{@code DataPropertyComplementOf(pe)}. The interpretation of {@code DataPropertyComplementOf(pe)} is equal to the interpretation of{@code owl:topDataProperty} minus the interpretation of {@code pe}. In other words, {@code DataPropertyComplementOf(pe)} is the set of pairs of individualand literals that are not in {@code pe}.
Simplified Object Property Expression
A simplified object property expression is either a named property {@code P}, or an object inverse property of the form {@code ObjectInverseOf(P)} where {@code P} is a named property. In otherwords, there is no nesting of {@code ObjectInverseOf} operators.
ErrorHandling
An {@code OWLReasoner} may throw the following exceptions toindicate errors. More documentation for each type of exception can be found on the particular exception class.
- {@link org.semanticweb.owlapi.reasoner.AxiomNotInProfileException}
- {@link org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException}
- {@link org.semanticweb.owlapi.reasoner.FreshEntitiesException}
- {@link org.semanticweb.owlapi.reasoner.InconsistentOntologyException}
- {@link org.semanticweb.owlapi.reasoner.TimeOutException}
- {@link org.semanticweb.owlapi.reasoner.ReasonerInterruptedException}
- {@link org.semanticweb.owlapi.reasoner.UnsupportedEntailmentTypeException}
- {@link org.semanticweb.owlapi.reasoner.ReasonerInternalException}
Note that {@link org.semanticweb.owlapi.reasoner.ReasonerInternalException}may be throw by any of the reasoner methods below. @author Matthew Horridge, The University of Manchester, InformationManagement Group @since 3.0.0

        // PelletReasonerFactory(); Load an example ontology - for the purposes
        // of the example, we will just load the pizza ontology.
        OWLOntologyManager man = OWLManager.createOWLOntologyManager();
        OWLOntology ont = loadPizza(man);
        // Create the reasoner and classify the ontology
        OWLReasoner reasoner = reasonerFactory.createNonBufferingReasoner(ont);
        reasoner.precomputeInferences(InferenceType.CLASS_HIERARCHY);
        // To generate an inferred ontology we use implementations of inferred
        // axiom generators to generate the parts of the ontology we want (e.g.
        // subclass axioms, equivalent classes axioms, class assertion axiom
        // etc. - see the org.semanticweb.owlapi.util package for more
        // implementations). Set up our list of inferred axiom generators

View Full Code Here

        // the latest version of the Pellet libraries are on the runtime class
        // path
        OWLReasonerFactory reasonerFactory = new StructuralReasonerFactory();
        // Uncomment the line below reasonerFactory = new
        // PelletReasonerFactory();
        OWLReasoner reasoner = reasonerFactory.createNonBufferingReasoner(ont);
        // Now we can query the reasoner, suppose we want to determine the
        // properties that instances of Marghertia pizza must have
        OWLClass margheritaPizza = man.getOWLDataFactory().getOWLClass(
                IRI.create(prefix + "Quokka"));
        // printProperties(man, ont, reasoner, margheritaPizza);

View Full Code Here

        // We now add all subclasses (direct and indirect) of the chosen
        // classes. Ideally, it should be done using a DL reasoner, in order to
        // take inferred subclass relations into account. We are using the
        // structural reasoner of the OWL API for simplicity.
        Set<OWLEntity> seedSig = new HashSet<OWLEntity>();
        OWLReasoner reasoner = new StructuralReasoner(ont,
                new SimpleConfiguration(), BufferingMode.NON_BUFFERING);
        for (OWLEntity ent : sig) {
            seedSig.add(ent);
            if (OWLClass.class.isAssignableFrom(ent.getClass())) {
                NodeSet<OWLClass> subClasses = reasoner.getSubClasses(
                        (OWLClass) ent, false);
                seedSig.addAll(subClasses.getFlattened());
            }
        }
        // Output for debugging purposes

View Full Code Here

     *         the oWL exception
     */
    private boolean isSatisfiable(@Nonnull OWLClassExpression unsatClass)
            throws OWLException {
        createDebuggingOntology();
        OWLReasoner reasoner = getReasonerFactory().createNonBufferingReasoner(
                verifyNotNull(debuggingOntology));
        if (OntologyUtils.containsUnreferencedEntity(
                verifyNotNull(debuggingOntology), unsatClass)) {
            reasoner.dispose();
            return true;
        }
        satTestCount++;
        boolean sat = reasoner.isSatisfiable(unsatClass);
        reasoner.dispose();
        return sat;
    }

View Full Code Here

        assertEquals("Maximum number of asserted named superclasses",
                new MaximumNumberOfNamedSuperclasses(createOntology).getName());
        assertEquals("Number of classes with asserted multiple inheritance",
                new NumberOfClassesWithMultipleInheritance(createOntology)
                        .getName());
        OWLReasoner mock = mock(OWLReasoner.class);
        when(mock.getRootOntology()).thenReturn(createOntology);
        assertEquals("Unsatisfiable class count",
                new UnsatisfiableClassCountMetric(mock).getName());
    }

View Full Code Here

     * @throws OWLException
     *         the oWL exception
     */
    private boolean isSatisfiable() throws OWLException {
        createDebuggingOntology();
        OWLReasoner reasoner = reasonerFactory
                .createNonBufferingReasoner(getDebuggingOntology());
        satTestCount++;
        boolean sat = reasoner.isSatisfiable(verifyNotNull(currentClass));
        reasoner.dispose();
        return sat;
    }

View Full Code Here

     */
    private boolean isSatisfiable(OWLClassExpression unsatClass) throws OWLException {
        createDebuggingOntology();
        ontologyCounter++;


        OWLReasoner reasoner = getReasonerFactory().createNonBufferingReasoner(getOntology());


        if (OntologyUtils.containsUnreferencedEntity(debuggingOntology, unsatClass))
            return true;
        satTestCount++;
        boolean sat = reasoner.isSatisfiable(unsatClass);
        reasoner.dispose();
        return sat;
    }

View Full Code Here

        createDebuggingOntology();
//        RDFXMLRenderer ren = new RDFXMLRenderer();
//        ren.setOWLOntologyManager(owlOntologyManager);
//        ren.render(debuggingOntology, IRI.create("file:/Users/matthewhorridge/Desktop/DebuggingOntology" + ontologyCounter + ".owlapi"));
        ontologyCounter++;
        OWLReasoner reasoner = reasonerFactory.createNonBufferingReasoner(debuggingOntology);
        satTestCount++;
        boolean sat = reasoner.isSatisfiable(currentClass);
        reasoner.dispose();
        return sat;
    }

View Full Code Here

    System.out.println("*******************");
    System.out.print(query.getTask() + ".....");
    
    double min = Double.MAX_VALUE;
    String reasonerName = "none";
    OWLReasoner reasoner;
    for(int i = 0; i < ReasonerPara.getReasonerCount(); i ++){
      
      try{
        reasoner = reasonerManager.getReasoner(i, ontology);
      }catch(ReasonerInternalException e){
        continue;
      }catch(UnsupportedDatatypeException e){
        continue;
      }
      
      double tmp = runtimeTest(reasoner, query);
      if(tmp < min){
        min = tmp;
        reasonerName = reasoner.getReasonerName();
      }
    }
    Result<Object> result = new Result<Object>();
    result.setReasoner(reasonerName);

View Full Code Here

  public Factpp(){
    factory = new FaCTPlusPlusReasonerFactory();
  }
  
  public OWLReasoner getReasoner(OWLOntology ontology){
    OWLReasoner reasoner = factory.createReasoner(ontology);
    return reasoner;
  }

View Full Code Here

0 1 2 3

TOP

Related Classes of org.semanticweb.owlapi.reasoner.OWLReasoner

au.csiro.snorocket.core.benchmark.OWLBenchmark

com.clarkparsia.owlapi.explanation.BlackBoxExplanation

com.clarkparsia.owlwg.owlapi3.runner.impl.OwlApi3ReasonerTestRunner

de.fzi.herakles.examples.AQAOWLlinkRemoteOWLAPI

de.fzi.herakles.examples.ComplexClassDescriptionExample

de.fzi.herakles.examples.LocalExampleOWLAPI

de.fzi.herakles.examples.LocalExampleOWLlinkRemoteOWLAPI

de.fzi.herakles.examples.OWLEDExperiment

de.fzi.herakles.examples.ParallelExample

de.fzi.herakles.examples.SelectionExample

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.

Examples of org.semanticweb.owlapi.reasoner.OWLReasoner

StrictSubClassOf

DirectSubClassOf

StrictSubObjectPropertyOf

DirectSubObjectPropertyOf

StrictSubDataPropertyOf

DirectSubDataPropertyOf

DirectClassAssertion

ObjectPropertyComplementOf

DataPropertyComplementOf

Simplified Object Property Expression

ErrorHandling

Related Classes of org.semanticweb.owlapi.reasoner.OWLReasoner