Package com.clarkparsia.pellet.owlapiv3

Examples of com.clarkparsia.pellet.owlapiv3.EntailmentQueryVisitor

71
72
73
74
75
76
77
78
79
80
81
82
83
          .create( premiseURI ) );
      manager = org.semanticweb.owlapi.apibinding.OWLManager.createOWLOntologyManager();
      org.semanticweb.owlapi.model.OWLOntology conclusion = manager.loadOntology( IRI
          .create( conclusionURI ) );

      PelletReasoner reasoner = new com.clarkparsia.pellet.owlapiv3.PelletReasonerFactory()
          .createReasoner( premise );
      assertTrue( reasoner.isEntailed( conclusion.getAxioms() ) );
    } catch( org.semanticweb.owlapi.model.OWLOntologyCreationException e ) {
      throw new RuntimeException( e );
    }

  }
View Full Code Here
477
478
479
480
481
482
483
484
485
486
487
488
489
490
    axioms.addAll( familyRef.getAxioms() );
    axioms.addAll( familyRules.getAxioms() );
   
    OWLOntology mergedOntology = OWL.Ontology( axioms );
   
    PelletReasoner reasoner = com.clarkparsia.pellet.owlapiv3.PelletReasonerFactory.getInstance().createReasoner( mergedOntology );

    OWLIndividual nella = OWL.Individual( luigiFamily.resolve( "#Nella" ) );
    OWLObjectProperty hasUncle = OWL.ObjectProperty( luigiFamily.resolve( "#hasUncle" ) );
    OWLIndividual dino = OWL.Individual( luigiFamily.resolve( "#Dino" ) );

    assertFalse( reasoner.isEntailed( OWL.propertyAssertion( nella, hasUncle, dino ) ) );

  }
View Full Code Here
1041
1042
1043
1044
1045
1046
1047
1048
1049
1050
1051
1052
1053
      // E(a)
      OWL.classAssertion( individualA, classE ) };

    OWLOntology ontology = OWL.Ontology( axioms );

    PelletReasoner reasoner = com.clarkparsia.pellet.owlapiv3.PelletReasonerFactory
        .getInstance().createNonBufferingReasoner( ontology );

    assertTrue( reasoner.isConsistent() );
    assertTrue( reasoner.isEntailed( OWL.classAssertion( individualA, classE ) ) );

    OWL.manager.removeOntology( ontology );
  }
View Full Code Here
1093
1094
1095
1096
1097
1098
1099
1100
            + "BuiltInAtom(<http://www.w3.org/2003/11/swrlb#lessThan> Variable(<urn:swrl#y>) Variable(<urn:swrl#w>)))"
            + "Head(ObjectPropertyAtom(<http://www.w3.org/2006/time#before> Variable(<urn:swrl#x>) Variable(<urn:swrl#z>))))\n" +
            ")");

    OWLOntology ont = OWL.manager.loadOntologyFromOntologyDocument( source );
      PelletReasoner reasoner = com.clarkparsia.pellet.owlapiv3.PelletReasonerFactory.getInstance().createReasoner( ont );
      reasoner.getKB().realize();
  }
View Full Code Here
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
  private void testExplanation(OWLAxiom axiom) {
    OWLOntology ont = null;
    try {
      ont = OWL.Ontology(axiom);

      PelletReasoner reasoner = PelletReasonerFactory.getInstance().createReasoner( ont );
      reasoner.getKB().setDoExplanation( true );

      assertTrue( "Entailment failed", reasoner.isEntailed( axiom ) );

      Set<ATermAppl> terms = reasoner.getKB().getExplanationSet();
      assertTrue( "Explanation incorrect " + terms, terms.size() == 1);
     
      OWLAxiom explanation = new AxiomConverter(reasoner).convert(terms.iterator().next());
      assertEquals( "Unexpected explanation", axiom, explanation );
    }
View Full Code Here
46
47
48
49
50
51
52
  public PelletExplanation(OWLOntology ontology) {
    this( ontology, true );
  }
 
  public PelletExplanation(OWLOntology ontology, boolean useGlassBox) {
    this( new PelletReasonerFactory().createReasoner( ontology ), useGlassBox );
  }
View Full Code Here
60
61
62
63
64
65
66
67
68
69
70
    factory = reasoner.getManager().getOWLDataFactory();
   
    // Create a single explanation generator
    TransactionAwareSingleExpGen singleExp = useGlassBox
      ? new GlassBoxExplanation( reasoner )
      : new BlackBoxExplanation( reasoner.getRootOntology(), new PelletReasonerFactory(), reasoner );
   
    // Create multiple explanation generator
    expGen = new HSTExplanationGenerator( singleExp );   
   
    // Create the converter that will translate axioms into class expressions
View Full Code Here
85
86
87
88
89
90
91
  public GlassBoxExplanation(OWLOntology ontology, PelletReasonerFactory factory) {
    this( factory, factory.createReasoner( ontology ) );
  }
 
  public GlassBoxExplanation(PelletReasoner reasoner) {
    this( new PelletReasonerFactory(), reasoner );
  }
View Full Code Here
111
112
113
114
115
116
117
118
119
120
121
122
    converter = new SatisfiabilityConverter(OWL.factory);
    renderer = new ConciseExplanationRenderer();
   
    OWLOntology ontology = OWL.Ontology( ontologyAxioms );     

    PelletReasonerFactory reasonerFactory = PelletReasonerFactory.getInstance();
    reasoner = reasonerFactory.createReasoner( ontology );

    TransactionAwareSingleExpGen singleExpGen = useGlassBox
      ? new GlassBoxExplanation( reasoner )
      : new BlackBoxExplanation( ontology, reasonerFactory, reasoner ) {
          protected boolean isFirstExplanation() {
View Full Code Here
117
118
119
120
121
122
123
124
125
126
127
128
    converter = new SatisfiabilityConverter(OWL.factory);
    renderer = new ConciseExplanationRenderer();
   
    OWLOntology ontology = OWL.Ontology( ontologyAxioms );     

    PelletReasonerFactory reasonerFactory = PelletReasonerFactory.getInstance();
    reasoner = reasonerFactory.createReasoner( ontology );

    TransactionAwareSingleExpGen singleExpGen = useGlassBox
      ? new GlassBoxExplanation( reasoner )
      : new BlackBoxExplanation( ontology, reasonerFactory, reasoner ) {
          protected boolean isFirstExplanation() {
View Full Code Here
TOP

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

  • aterm.ATerm
  • aterm.ATermAppl
  • aterm.ATermList
  • com.clarkparsia.explanation.test.MiscExplanationTests
  • com.clarkparsia.explanation.test.OWLAPIExplanationTest
  • com.clarkparsia.modularity.IncrementalClassifier
  • com.clarkparsia.modularity.test.PersistenceClassificationTest
  • com.clarkparsia.modularity.test.PersistenceRealizationTest
  • com.clarkparsia.modularity.test.PersistenceUpdatesTest
  • com.clarkparsia.modularity.test.TestUtils
    • Copyright © 2018 www.massapicom. All rights reserved.
    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.