Examples of com.hp.hpl.jena.ontology.OntModel

com.hp.hpl.jena.ontology.OntModel
An enhanced view of a Jena model that is known to contain ontology data, under a given ontology {@link Profile vocabulary} (such as OWL).This class does not by itself compute the deductive extension of the graph under the semantic rules of the language. Instead, we wrap an underlying model with this ontology interface, that presents a convenience syntax for accessing the language elements. Depending on the inference capability of the underlying model, the OntModel will appear to contain more or less triples. For example, if this class is used to wrap a plain memory or database model, only the relationships asserted by the document will be reported through this convenience API. Alternatively, if the OntModel wraps an OWL inferencing model, the inferred triples from the extension will be reported as well. For example, assume the following ontology fragment:
```
 :A rdf:type owl:Class . :B rdf:type owl:Class ; rdfs:subClassOf :A . :widget rdf:type :B . 
```
In a non-inferencing model, the rdf:type of the widget will be reported as class :B only. In a model that can process the OWL semantics, the widget's types will include :B, :A, and owl:Thing.

Note: that OntModel is an extension to the {@link InfModel} interface. This is to support the case where an ontology modelwraps an inference graph, and we want to make the special capabilities of the InfModel, for example global consistency checking, accessible to client programs. Since not all ont models use a reasoner, using these methods may result in a runtime exception, though the typical behaviour is that such calls will be silently ignored.

        assertEquals( justList, ins.getIdiomaticListTypes() );
        }


    @Test public void testFindsNoBrokenLists()
        {
        OntModel om = ontModel( "" );
        ins.inspectModel( r, om );
        assertEquals( resourceSet( "" ), ins.getSuspectListTypes() );
        }

View Full Code Here

        {
        StmtIterator it = xListT.getBaseModel().listStatements();
        while (it.hasNext())
            {
            Statement s = it.nextStatement();
            OntModel m = ModelFactory.createOntologyModel();
            m.add( xListT.getBaseModel() );
            m.remove( s );
            ListInspector x = new ListInspector();
            x.inspectModel( new Report(), m );
            if (!s.equals(  statement( "x rdfs:subClassOf rdf:List" ) ))
                assertEquals( "BROKEN for missing " + s, 1, x.getSuspectListTypes().size() );
            if (x.getIdiomaticListTypes().size() > 1)
                fail( "list type mistakenly found from partial description " + nice( m.getBaseModel().getGraph(), new HashMap<Node, Object>() ) );
            }
        }

View Full Code Here

        {
        String partialDesc = 
            "B rdfs:subClassOf rdf:List"
            + "; B rdfs:subClassOf [owl:onProperty rdf:first & owl:allValuesFrom T]"
            + "; B rdfs:subClassOf [owl:onProperty rdf:first & owl:allValuesFrom B]"; 
        OntModel om = ontModel( partialDesc );
        ins.inspectModel( r, om );
        String expected = "[eye:mainProperty eye:suspectListIdiom & eye:suspectListIdiom B]";
        assertIsoModels( itemModel( expected ), r.model() );
        }

View Full Code Here

        assertTrue( ins.getIdiomaticListTypes().containsKey( resource( "x" ) ) );
        }
    
    @Test public void testTwoListTypesDetected()
        {
        OntModel m = ModelFactory.createOntologyModel();
        m.getBaseModel().add( xListT.getBaseModel() );
        m.getBaseModel().add( yListU.getBaseModel() );
        ins.inspectModel( r, m );
        assertEquals( 3, ins.getIdiomaticListTypes().size() );
        assertTrue( ins.getIdiomaticListTypes().containsKey( resource( "x" ) ) );
        assertTrue( ins.getIdiomaticListTypes().containsKey( resource( "y" ) ) );
        }

View Full Code Here

        assertEquals( resource( "U" ), ins.getIdiomaticListTypes().get( resource( "y" ) ) );
        }
    
    @Test public void testFindsNoPropertiesWithListRange()
        {
        OntModel om = ontModel( "" );
        ins.inspectModel( r, om );
        assertEquals( Collections.EMPTY_MAP, ins.getIdiomaticListProperties() );
        }

View Full Code Here

        assertEquals( Collections.EMPTY_MAP, ins.getIdiomaticListProperties() );
        }
    
    @Test public void testFindsPropertiesWithListRange()
        {
        OntModel om = (OntModel) ontModel( "P rdfs:range x; Q rdfs:range z" ).add( xListT );
        ins.inspectModel( r, om );
        assertEquals( resourceSet( "P" ), ins.getIdiomaticListProperties().keySet() );
        }

View Full Code Here

        assertEquals( resourceSet( "b" ), history );
        }
    
    @Test public void testChecksNilWellFormed()
        {
        OntModel om = ontModel( "a P rdf:nil" );
        ins.inspectList( r, statement( "a P rdf:nil"), resource( om, "rdf:nil" ) );
        assertIsoModels( model(), r.model() );
        }

View Full Code Here

        assertIsoModels( model(), r.model() );
        }
    
    @Test public void testChecksSingletonListWellFormed()
        {
        OntModel om = ontModel( "a P b; b rdf:first F; b rdf:rest rdf:nil" );
        ins.inspectList( r, statement( "a P b"), resource( om, "b" ) );
        assertIsoModels( model(), r.model() );
        }

View Full Code Here

        assertIsoModels( model(), r.model() );
        }
    
    @Test public void testReportsFirstlessList()
        {
        OntModel om = ontModel( "a P b; b rdf:rest rdf:nil" );
        ins.inspectList( r, statement( "a P b"), resource( om, "b" ) );
        String expected = 
            "[eye:mainProperty eye:illFormedList & eye:illFormedList b"
            + " & eye:because [eye:element 1 & eye:hasNoFirst b]] rdf:type eye:Item";
        assertIsoModels( itemModel( expected, statement( "a P b" ) ), r.model() );

View Full Code Here

        assertIsoModels( itemModel( expected, statement( "a P b" ) ), r.model() );
        }


    @Test public void testReportsMultipleFirstList()
        {
        OntModel om = ontModel( "a P b; b rdf:first X & rdf:first Y & rdf:rest rdf:nil" );
        ins.inspectList( r, statement( "a P b"), resource( om, "b" ) );
        String expected = 
            "[eye:mainProperty eye:illFormedList & eye:illFormedList b"
            +" & eye:because [eye:element 1 & eye:hasMultipleFirsts b]] rdf:type eye:Item";
        assertIsoModels( itemModel( expected, statement( "a P b" ) ), r.model() );

View Full Code Here

0 1 2 3 4 5 6 7 8 9

TOP

Related Classes of com.hp.hpl.jena.ontology.OntModel

com.clarkparsia.explanation.test.MiscExplanationTests

com.clarkparsia.pellet.test.query.PelletSparqlDawgTester

com.clarkparsia.pellet.test.query.TestQuerySubsumption

com.clarkparsia.pellet.test.query.TestSingleSPARQLDLQueries

com.clarkparsia.pellet.test.rbox.PropertyChainTests

com.hp.gloze.test.TestOWL

com.hp.hpl.jena.eyeball.assemblers.EyeballAssembler

com.hp.hpl.jena.eyeball.inspectors.test.TestClassInspector

com.hp.hpl.jena.eyeball.inspectors.test.TestConsistentTypeInspector

com.hp.hpl.jena.eyeball.inspectors.test.TestListInspector

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.