Package com.clarkparsia.pellet.owlapiv3

Examples of com.clarkparsia.pellet.owlapiv3.AxiomConverter

147
148
149
150
151
152
153
154
155
156
157
158
159
160
   
    if( !"OWLAPIv3".equals( loaderName ) ) {
      logger.log( Level.WARNING, "Ignoring -l " + loaderName + " option. When using --persist the only allowed loader is OWLAPIv3" );
    }
   
    OWLAPILoader loader = (OWLAPILoader) getLoader( "OWLAPIv3" );
   
    loader.parse( getInputFiles() );
    OWLOntology ontology = loader.getOntology();
   
    IncrementalClassifier incrementalClassifier = createIncrementalClassifier( ontology );
   
    if ( !incrementalClassifier.isClassified() ) {
      startTask( "consistency check" );
View Full Code Here
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
  }

  public void run() {
    propertyName = options.getOption( "property" ).getValueAsString();

    OWLAPILoader loader = new OWLAPILoader();
    KnowledgeBase kb = loader.createKB( getInputFiles() );

    OWLEntity entity = OntologyUtils.findEntity( propertyName, loader.getAllOntologies() );

    if( entity == null )
      throw new PelletCmdException( "Property not found: " + propertyName );

    if( !(entity instanceof OWLObjectProperty) )
      throw new PelletCmdException( "Not an object property: " + propertyName );

    if( !((OWLObjectProperty) entity).isTransitive( loader.getAllOntologies() ) )
      throw new PelletCmdException( "Not a transitive property: " + propertyName );

    ATermAppl p = ATermUtils.makeTermAppl( entity.getIRI().toString() );

    ATermAppl c = null;
    boolean filter = false;

    if(options.getOption( "filter" ).exists())
    {
      String filterName = options.getOption( "filter" ).getValueAsString();     
      OWLEntity filterClass = OntologyUtils.findEntity( filterName, loader.getAllOntologies() );
      if(filterClass == null)
        throw new PelletCmdException( "Filter class not found: " + filterName );     
      if(!(filterClass instanceof OWLClass))
        throw new PelletCmdException( "Not a class: " + filterName );
View Full Code Here
328
329
330
331
332
333
334
335
336
337
338
  }

  public Collection<Result<Task>> profile(String... files) {
    KBLoader loader = (loaderType == LoaderType.JENA)
      ? new JenaLoader()
      : new OWLAPILoader();
   
    loader.setIgnoreImports(!imports);
   
    KnowledgeBase kb = loader.getKB();
View Full Code Here
237
238
239
240
241
242
243
244
245
246
247
  protected KBLoader getLoader(String loaderName) {
    if( loaderName.equalsIgnoreCase( "Jena" ) )
      loader = new JenaLoader();
    else if( loaderName.equalsIgnoreCase( "OWLAPIv3" ) )
      loader = new OWLAPILoader();
    else if( loaderName.equalsIgnoreCase( "OWLAPI" ) )
      loader = new org.mindswap.pellet.owlapi.OWLAPILoader();
    else if( loaderName.equalsIgnoreCase( "KRSS" ) )
      loader = new KRSSLoader();
    else
View Full Code Here
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
  public void testDiscoveryOntology() {
    testProperty( "test/data/trans-tree-tests/discovery.owl", "http://purl.org/vocab/relationship/ancestorOf" );
  }
   
  private void testProperty( String ontologyURI, String propertyURI ) {
    OWLAPILoader loader = new OWLAPILoader();
    KnowledgeBase kb = loader.createKB( new String[] { ontologyURI } );
   
    OWLEntity entity = OntologyUtils.findEntity( propertyURI, loader.getAllOntologies() );

    if( entity == null )
      throw new IllegalArgumentException( "Property not found: " + propertyURI );

    if( !(entity instanceof OWLObjectProperty) )
      throw new IllegalArgumentException( "Not an object property: " + propertyURI );

    if( !((OWLObjectProperty) entity).isTransitive( loader.getAllOntologies() ) )
      throw new IllegalArgumentException( "Not a transitive property: " + propertyURI );
   
    ATermAppl p = ATermUtils.makeTermAppl( entity.getIRI().toString() );

    POTaxonomyBuilder builder = null;
View Full Code Here
119
120
121
122
123
124
125
126
127
         all( inv( r ), some( inv( f ), D ) ) ) ) );
  }
 
  @Test
  public void complexInconsistent() {
    kb = new OWLAPILoader().createKB( MiscTests.base + "one+one-inconsistent.owl" );
   
    assertFalse( kb.isConsistent() );
  }
View Full Code Here
126
127
128
129
130
131
132
133
134
135
136
    assertFalse( kb.isConsistent() );
  }
 
  @Test
  public void complexAllUnsat() {
    kb = new OWLAPILoader().createKB( MiscTests.base + "one+one-consistent-but-all-unsat.owl" );
   
    assertTrue( kb.isConsistent() );
   
    assertEquals( kb.getClasses(), kb.getUnsatisfiableClasses() );
  }
View Full Code Here
135
136
137
138
139
140
141
142
143
144
145
    assertEquals( kb.getClasses(), kb.getUnsatisfiableClasses() );
  }
 
  @Test
  public void complexAllInfSat() {
    kb = new OWLAPILoader().createKB( MiscTests.base + "one+one-consistent-and-all-inf-sat.owl" );
   
    assertTrue( kb.isConsistent() );
   
    assertTrue( kb.getUnsatisfiableClasses().isEmpty() );
  }
View Full Code Here
371
372
373
374
375
376
377
378
379
380
381
    assertEquals( expected, actual );
  }

  @Test
  public void testOWLAPILoader() throws OWLOntologyCreationException {
    KnowledgeBase kb = new OWLAPILoader().createKB( DATA1_RDF );

    ATermAppl i = ATermUtils.makeTermAppl( "http://example.org#i" );
    ATermAppl label = ATermUtils.makeTermAppl( RDFS.label.getURI() );
    ATermAppl o1 = ATermUtils.makePlainLiteral( "o1" );
View Full Code Here
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
  @Override
    public void run() {
    entailmentFile = options.getOption( "entailment-file" ).getValueAsString();
    findAll = options.getOption( "all" ).getValueAsBoolean();
   
    OWLAPILoader loader = (OWLAPILoader) getLoader( "OWLAPIv3" );
   
    getKB();
   
    PelletReasoner reasoner = loader.getReasoner();
   
    OWLOntology entailmentOntology = null;
    try {
      verbose( "Loading entailment file: " );
      verbose( entailmentFile );
      IRI entailmentFileURI = IRI.create( FileUtils.toURI( entailmentFile ) );
      entailmentOntology = loader.getManager().loadOntology( entailmentFileURI );
    } catch( Exception e ) {
      throw new PelletCmdException( e );
    }
   
    EntailmentChecker checker = new EntailmentChecker(reasoner);   
View Full Code Here
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
    • 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.