Package org.semanticweb.owlapi.modularity

Examples of org.semanticweb.owlapi.modularity.OntologySegmenter.extract()

61
62
63
64
65
66
67
68
69
70
71
  private void modularityTest(OWLOntology ontology, Set<OWLEntity> signature, ModuleType moduleType) throws OWLException {
    Set<OWLAxiom> computed = ModularityUtils.extractModule( ontology, signature, moduleType );
   
    OntologySegmenter segmenter =
      new SyntacticLocalityModuleExtractor( manager, ontology, moduleType );
    Set<OWLAxiom> expected = segmenter.extract( signature );
     
    // prune declarations to avoid mismatches related to declarations
    for( OWLEntity entity : signature ) {
      OWLDeclarationAxiom declaration = OWL.declaration( entity );
      computed.remove( declaration );
View Full Code Here
63
64
65
66
67
68
69
70
71
72
73
  private void modularityTest(OWLOntology ontology, Set<OWLEntity> signature, ModuleType moduleType) throws OWLException {
    Set<OWLAxiom> computed = ModularityUtils.extractModule( ontology, signature, moduleType );
   
    OntologySegmenter segmenter =
      new SyntacticLocalityModuleExtractor( OWL.manager, ontology, moduleType );
    Set<OWLAxiom> expected = segmenter.extract( signature );
     
    // prune declarations to avoid mismatches related to declarations
    for( OWLEntity entity : signature ) {
      OWLDeclarationAxiom declaration = OWL.declaration( entity );
      computed.remove( declaration );
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.