Package org.mindswap.pellet.owlapi

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

595
596
597
598
599
600
601
602
603
604
605
    String ns = "http://www.example.org/test#";

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

    Reasoner reasoner = new Reasoner( OWL.manager );
    reasoner.loadOntologies( Collections.singleton( ont ) );
    assertTrue( reasoner.isConsistent() );

    KnowledgeBase kb = reasoner.getKB();

    assertTrue( reasoner.isDefined( Individual( ns + "a" ) ) );
View Full Code Here
641
642
643
644
645
646
647
648
649
650
651
    OWLObjectProperty r = ObjectProperty( ns + "r" );
    OWLDescription desc = some( inverse( r ), D );

    Reasoner reasoner = new Reasoner( OWL.manager );

    reasoner.loadOntologies( Collections.singleton( ont ) );

    assertEquals( Collections.singleton( Collections.singleton( C ) ), reasoner
        .getSubClasses( desc ) );

    assertTrue( reasoner.isInverseFunctional( ObjectProperty( ns + "functionalP" ) ) );
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.