Examples of loadOntology()


Examples of org.mindswap.pellet.owlapi.Reasoner.loadOntology()

    axioms.add( classAssertion( i3, c ) );

    OWLOntology ont = getOntologyFromAxioms( axioms, ontURI );

    Reasoner reasoner = new Reasoner( OWL.manager );
    reasoner.loadOntology( ont );

    assertTrue( !reasoner.isSameAs( i1, i2 ) );
    assertTrue( !reasoner.isSameAs( i1, i3 ) );
    assertEquals( reasoner.getSameAsIndividuals( i1 ), Collections.emptySet() );
View Full Code Here

Examples of org.mindswap.pellet.owlapi.Reasoner.loadOntology()

    Reasoner pellet = new Reasoner( OWL.manager );
    KnowledgeBase kb = pellet.getKB();

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

    kb.classify();

    kb.getTaxonomyBuilder().setProgressMonitor( monitor );
View Full Code Here

Examples of org.mindswap.pellet.owlapi.Reasoner.loadOntology()

    Timer timer = kb.timers.createTimer( "classify" );
    timer.setTimeout( 1 );

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

    try {
      kb.classify();
    } catch( TimeoutException e ) {
      timeout = true;
View Full Code Here

Examples of org.mindswap.pellet.owlapi.Reasoner.loadOntology()

    Timer timer = kb.timers.createTimer( "realize" );
    timer.setTimeout( 1 );

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

    try {
      kb.classify();
    } catch( TimeoutException e ) {
      timeout = true;
View Full Code Here

Examples of org.mindswap.pellet.owlapi.Reasoner.loadOntology()

        + "ex:C rdfs:subClassOf ex:D .\r\n" + "[] a ex:C .";

    Reasoner pellet = new Reasoner( OWL.manager );

    OWLOntology ont = OWL.manager.loadOntology( new StringInputSource( src ) );
    pellet.loadOntology( ont );

    OWLClass D = OWL.Class( ns + "D" );

    assertTrue( pellet.getIndividuals( D, true ).size() == 0 );
View Full Code Here

Examples of org.mindswap.pellet.owlapi.Reasoner.loadOntology()

    OWLOntology ont = getOntologyFromAxioms( axioms, ontURI );

    Reasoner reasoner = new Reasoner( OWL.manager );

    reasoner.loadOntology( ont );

    assertEquals( reasoner.getSameAsIndividuals( a ), Collections.emptySet() );
    assertEquals( reasoner.getSameAsIndividuals( b ), Collections.singleton( c ) );
    assertEquals( reasoner.getSameAsIndividuals( c ), Collections.singleton( b ) );
View Full Code Here

Examples of org.semanticweb.owl.model.OWLOntologyManager.loadOntology()

     
      tboxURI = URI.create("file:/Users/tonga/Tmp/OntologySplit/"+prefix+"-Tbox.owl");
      aboxURI = URI.create("file:/Users/tonga/Tmp/OntologySplit/"+prefix+"-Abox.owl");
     
      try {
        ontology = manager.loadOntology(ontologyURI);
       
        /* Print ontology's metrics */
        printMetrics(ontology, manager);

        logger.info("Splitting ontology "+ontologyURI);
View Full Code Here

Examples of org.semanticweb.owl.model.OWLOntologyManager.loadOntology()

      OWLOntologyManager manager = OWLManager.createOWLOntologyManager();
      OWLOntology tboxOntology = null, aboxOntology = null;
      try
      {
        // load the Tbox and Abox
        tboxOntology = manager.loadOntology(tboxPhysicalURI);
        aboxOntology = manager
            .loadOntologyFromPhysicalURI(aboxPhysicalURI);
      } catch (OWLOntologyCreationException e)
      {
        e.printStackTrace();
View Full Code Here

Examples of org.semanticweb.owl.model.OWLOntologyManager.loadOntology()

    OWLOntologyManager manager = OWLManager.createOWLOntologyManager();
    OWLOntology tboxOntology = null, aboxOntology = null;
    try
    {
      // load the Tbox and Abox
      tboxOntology = manager.loadOntology(tboxPhysicalURI);
      aboxOntology = manager.loadOntologyFromPhysicalURI(aboxPhysicalURI);
    } catch (OWLOntologyCreationException e)
    {
      e.printStackTrace();
      System.exit(0);
View Full Code Here

Examples of org.semanticweb.owl.model.OWLOntologyManager.loadOntology()

      }

      URI tboxLogicalURI = null;
      try
      {
        tboxOntology = manager.loadOntology(tboxPhysicalURI);
        tboxLogicalURI = tboxOntology.getURI();
      } catch (OWLOntologyCreationException e)
      {
        e.printStackTrace();
        System.exit(0);
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.