Examples of com.clarkparsia.pellet.owlapiv3.AxiomConverter

com.clarkparsia.pellet.owlapiv3.PelletReasoner
larkparsia.com>
@author Evren Sirin

    axioms.add( OWL.classAssertion( i, A ) );
    axioms.add( OWL.classAssertion( i, B ) );
    axioms.add( OWL.classAssertion( j, C ) );


    OWLOntology ontology = OWL.Ontology( axioms );
    PelletReasoner reasoner = PelletReasonerFactory.getInstance().createReasoner( ontology );
    PelletExplanation explain = new PelletExplanation( reasoner );


    Set<Set<OWLAxiom>> actual = explain.getInconsistencyExplanations();


    Set<OWLAxiom> f = new HashSet<OWLAxiom>();

View Full Code Here

    axioms.add(OWL.disjointClasses(A, B));
    axioms.add(OWL.classAssertion(i, A));
    axioms.add(OWL.classAssertion(i, B));


    OWLOntology ontology = OWL.Ontology(axioms);
    PelletReasoner reasoner = PelletReasonerFactory.getInstance().createReasoner(ontology);
    PelletExplanation explain = new PelletExplanation(reasoner);


    assertFalse(explain.getInconsistencyExplanations().isEmpty());
  }

View Full Code Here

    axioms.add(OWL.disjointProperties(P, S));
    axioms.add(OWL.propertyAssertion(i, P, i));
    axioms.add(OWL.propertyAssertion(i, S, i));


    OWLOntology ontology = OWL.Ontology(axioms);
    PelletReasoner reasoner = PelletReasonerFactory.getInstance().createReasoner(ontology);
    PelletExplanation explain = new PelletExplanation(reasoner);


    assertFalse(explain.getInconsistencyExplanations().isEmpty());
  }

View Full Code Here

    axioms.add(OWL.classAssertion(i, A));
    axioms.add(OWL.classAssertion(j, B));
    axioms.add(OWL.sameAs(i, j));


    OWLOntology ontology = OWL.Ontology(axioms);
    PelletReasoner reasoner = PelletReasonerFactory.getInstance().createReasoner(ontology);
    PelletExplanation explain = new PelletExplanation(reasoner);


    assertFalse(explain.getInconsistencyExplanations().isEmpty());
  }

View Full Code Here

    
    Set<OWLAxiom> axioms = new HashSet<OWLAxiom>();
    axioms.add(OWL.equivalentClasses(A, OWL.oneOf(a, b)));


    OWLOntology ontology = OWL.Ontology(axioms);
    PelletReasoner reasoner = PelletReasonerFactory.getInstance().createReasoner(ontology);
    PelletExplanation explain = new PelletExplanation(reasoner);


    assertEquals( axioms, explain.getEntailmentExplanation(OWL.classAssertion(a, A)) );
  }

View Full Code Here

    
    Set<OWLAxiom> axioms = new HashSet<OWLAxiom>();
    axioms.add(OWL.equivalentClasses(A, OWL.oneOf(a)));


    OWLOntology ontology = OWL.Ontology(axioms);
    PelletReasoner reasoner = PelletReasonerFactory.getInstance().createReasoner(ontology);
    PelletExplanation explain = new PelletExplanation(reasoner);


    assertEquals( axioms, explain.getEntailmentExplanation(OWL.classAssertion(a, A)) );
  }

View Full Code Here

    OWLAxiom[] axioms = { OWL.subClassOf(VolcanicMountain, Mountain), OWL.subClassOf(VolcanicMountain, Volcano),
                    OWL.subClassOf(Mountain, UplandArea), OWL.subClassOf(UplandArea, OWL.not(Volcano)),
                    OWL.disjointClasses(UplandArea, Volcano) };


    OWLOntology ontology = OWL.Ontology(axioms);
    PelletReasoner reasoner = PelletReasonerFactory.getInstance().createReasoner(ontology);
    PelletExplanation explain = new PelletExplanation(reasoner);


    // bug 453 manifested by throwing an OWLRuntimeException from the following statement
    // (number of explanations is important -- there are two explanations in this case, and the problem
    // only occurs if both of them are produced)

View Full Code Here

  public void testOWL2() throws OWLException {
    String ns = "http://www.example.org/test#";


    OWLOntology ont = loadOntology( base + "owl2.owl" );
    
    PelletReasoner reasoner = PelletReasonerFactory.getInstance().createReasoner( ont ) ;
    try {
      testOWL2Reasoner( ns, reasoner );
    }
    finally {
      reasoner.dispose();
    }
  }

View Full Code Here

  public void testUncle() throws OWLException {
    String ns = "http://www.example.org/test#";


    OWLOntology ont = loadOntology( base + "uncle.owl" );


    PelletReasoner reasoner = PelletReasonerFactory.getInstance().createReasoner( ont );


    OWLNamedIndividual Bob = Individual( ns + "Bob" );
    OWLNamedIndividual Sam = Individual( ns + "Sam" );


    OWLObjectProperty uncleOf = ObjectProperty( ns + "uncleOf" );

View Full Code Here

  public void testSibling() throws OWLException {
    String ns = "http://www.example.org/test#";


    OWLOntology ont = loadOntology( base + "sibling.owl" );


    PelletReasoner reasoner = PelletReasonerFactory.getInstance().createReasoner( ont );


    OWLNamedIndividual Bob = Individual( ns + "Bob" );
    OWLNamedIndividual John = Individual( ns + "John" );
    OWLNamedIndividual Jane = Individual( ns + "Jane" );

View Full Code Here

0 1 2 3 4 5 6 7 8 9

TOP

Related Classes of com.clarkparsia.pellet.owlapiv3.AxiomConverter

aterm.ATerm

aterm.ATermAppl

aterm.ATermList

com.clarkparsia.explanation.test.MiscExplanationTests

com.clarkparsia.explanation.test.OWLAPIExplanationTest

com.clarkparsia.modularity.test.PersistenceRealizationTest

com.clarkparsia.modularity.test.PersistenceUpdatesTest

com.clarkparsia.modularity.test.TestUtils

com.clarkparsia.owlapi.explanation.GlassBoxExplanation

com.clarkparsia.owlapi.explanation.PelletExplanation

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.