Examples of org.semanticweb.owl.model.OWLOntology

org.semanticweb.owl.model.OWLOntology
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
An OWLOntology contains a set of axioms. Ontologies do not specifically contain entities such as classes, properties or individuals - these entities are merely referenced by the axioms that the ontology contains. They form the signature of the ontology. Unlike some APIs it is therefore not possible to directly add or remove entities to or from an ontology.
An ontology cannot be modified directly. Changes must be applied using an OWLOntologyManager.

    assertTrue("Unexpected property value: " + result, result.isEmpty());
  }


  @Test
  public void testInfiniteChain() throws Exception {
    OWLOntology ont = loadOntology( base + "infiniteChain.owl" );


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


    assertTrue( !reasoner.isConsistent() );

View Full Code Here


  @Test
  public void testRemoveLiteral() throws Exception {
    String ns = "http://www.example.org/test#";


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


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


    OWLDataProperty pInt = DataProperty( ns + "pInt" );

View Full Code Here


  @Test
  public void testFamily() throws OWLException {
    String ns = "http://www.example.org/family#";


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


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


    OWLObjectProperty hasBrother = ObjectProperty( ns + "hasBrother" );

View Full Code Here

   */
  @Test
  public void entityDeclarations() {
    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() );

View Full Code Here


  @Test
  public void testAnonInverse() throws OWLException {
    String ns = "http://www.example.org/test#";


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


    OWLClass C = Class( ns + "C" );
    OWLClass D = Class( ns + "D" );
    OWLObjectProperty r = ObjectProperty( ns + "r" );
    OWLDescription desc = some( inverse( r ), D );

View Full Code Here


  @Test
  public void testDLSafeRules() throws OWLOntologyCreationException, OWLReasonerException {
    String ns = "http://owldl.com/ontologies/dl-safe.owl#";


    OWLOntology ont = loadOntology( base + "dl-safe.owl" );


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


    // OWLObjectProperty father = factory.getOWLObjectProperty( URI.create(

View Full Code Here


  @Test
  public void testDLSafeConstants() throws OWLReasonerException, OWLOntologyCreationException {
    String ns = "http://owldl.com/ontologies/dl-safe-constants.owl#";


    OWLOntology ont = loadOntology( base + "dl-safe-constants.owl" );


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


    OWLClass DreamTeamMember = Class( ns + "DreamTeamMember" );

View Full Code Here


    OWLIndividual x = Individual( ns + "x" );
    OWLIndividual y = Individual( ns + "y" );
    OWLIndividual z = Individual( ns + "z" );


    OWLOntology ont = getOntologyFromAxioms( transitive( p1 ),
        classAssertion( x, all( p1, C ) ), propertyAssertion( x, p1, y ),
        propertyAssertion( y, p1, z ) );


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

View Full Code Here

    }
  }


  @Test
  public void testInvalidTransitivity2() throws OWLOntologyCreationException {
    OWLOntology ont = loadOntology( base + "invalidTransitivity.owl" );


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


    KnowledgeBase kb = reasoner.getKB();

View Full Code Here


    axioms.add( sameAs( b, c ) );


    axioms.add( propertyAssertion( a, q, c ) );


    OWLOntology ont = getOntologyFromAxioms( axioms, ontURI );


    Reasoner reasoner = new Reasoner( OWL.manager );


    reasoner.loadOntology( ont );

View Full Code Here

0 1 2 3 4 5

TOP

Related Classes of org.semanticweb.owl.model.OWLOntology

com.clarkparsia.owlapi.OntologyUtils

com.clarkparsia.pellet.test.owlapi.OWLAPITests

com.clarkparsia.pellint.rdfxml.RDFModelWriter

nl.vu.few.anytimereasoning.workbench.measures.utils.Metrics

nl.vu.few.anytimereasoning.workbench.reasoningtask.InstanceRetrieval

nl.vu.few.anytimereasoning.workbench.selectionstrategies.SelectionStrategyLeastDirectSubclasses

nl.vu.few.anytimereasoning.workbench.selectionstrategies.SelectionStrategyMostDirectSubclasses

nl.vu.few.anytimereasoning.workbench.utils.OntologySplit

nl.vu.few.anytimereasoning.workbench.utils.Populate

org.ar.domainspecific.processors.OntologyProcessor

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.