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.

        assertIsoModels( itemModel( expected, statement( "a P b" ) ), r.model() );
        }
    
    @Test public void testReportsFirstlessListOnSubsequentElement()
        {
        OntModel om = ontModel( "a P b; b rdf:first X & rdf:rest c; c rdf:rest rdf:nil" );
        ins.inspectList( r, statement( "a P b"), resource( om, "b" ) );
        String expected = 
            "[eye:mainProperty eye:illFormedList & eye:illFormedList c"
            + " & eye:because [eye:element 2 & eye:hasNoFirst c]] 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 testReportsRestlessList()
        {
        OntModel om = ontModel( "a P b; b rdf:first F" );
        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:hasNoRest 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 testReportsMultipleRestsList()
        {
        OntModel om = ontModel( "a P b; b rdf:first F & rdf:rest A & rdf:rest B" );
        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:hasMultipleRests 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 testReportsTypeElementFailure()
        {
        OntModel om = ontModel( "a P b; b rdf:first F & rdf:rest rdf:nil" );
        Resource LT = resource( "LT" ), T = resource( "T" );
        ins.getIdiomaticListTypes().put( LT, T );
        ins.inspectList( r, statement( "a P b"), resource( om, "b" ), resource( "T" ) );
        String expected = 
            "[eye:mainProperty eye:illTypedListElement & eye:illTypedListElement b"

View Full Code Here

        assertEquals( listOfStrings( "eh:/S eh:/P eh:/O" ), uris );
        }
    
    @Test public void testNoAssumptionsCreatesBuiltinNamespaceTable()
        {
        OntModel assume = ontModel();
        ins.begin( new Report(), assume );
        assertEquals( builtinNamespaces(), ins.map.keySet() );
        }

View Full Code Here

        return result;
        }


    @Test public void testAssumptionsFillNamespaceTable()
        {
        OntModel assume = ontModel( "ex:/A/x ex:/A/p ex:/B/y" );
        ins.begin( new Report(), assume );
        assertEquals( setOfStrings( "x p" ), ins.map.get( "ex:/A/" ) );
        assertEquals( setOfStrings( "y" ), ins.map.get( "ex:/B/" ) );
        }

View Full Code Here

        assertEquals( setOfStrings( "y" ), ins.map.get( "ex:/B/" ) );
        }
    
    @Test public void testSubmodelsFillNamespaceTable()
        {
        OntModel model = ontModel();
        Model subModel = model( "ex:/A/x ex:/A/p ex:/B/y" );
        model.addSubModel( subModel );
        ins.inspectModel( new Report(), model );
        assertEquals( setOfStrings( "x p" ), ins.map.get( "ex:/A/" ) );
        assertEquals( setOfStrings( "y" ), ins.map.get( "ex:/B/" ) );
        }

View Full Code Here

        assertEquals( setOfStrings( "y" ), ins.map.get( "ex:/B/" ) );
        }
    
    @Test public void testBothAssumptionsAndModelsFillNamespaceTable()
        {
        OntModel model = ontModel();
        model.addSubModel( model( "ex:/A/x ex:/A/p ex:/B/y" ) );
        ins.begin( new Report(), ontModel( "ex:/C/a ex:/D/q ex:/C/b" ) );
        ins.inspectModel( new Report(), model );
        assertEquals( setOfStrings( "x p" ), ins.map.get( "ex:/A/" ) );
        assertEquals( setOfStrings( "y" ), ins.map.get( "ex:/B/" ) );
        assertEquals( setOfStrings( "a b" ), ins.map.get( "ex:/C/" ) );

View Full Code Here

        assertIsoModels( wanted, r.model() );
        }
    
    @Test public void testDuplicatedURIGeneratesOnlyOneReport()
        {
        OntModel assume = ontModel( "X P Y" );
        ins.begin( r, assume );
        ins.inspectURI( r, S, resource( "Z" ) );
        ins.inspectURI( r, S, resource( "Z" ) );
        Model wanted = wanted( "[eye:mainProperty eye:notFromSchema & eye:notFromSchema 'eh:/' & eye:onResource eh:/Z]" );
        assertIsoModels( wanted, r.model() );

View Full Code Here

        }
    
    @Test public void testDoesNotReportOpenNamespace()
        {
        Resource root = resourceInModel( "root eye:openNamespace open:/" );
        OntModel assume = ontModel( "open:/cabbage P Y" );
        VocabularyInspector ins = new VocabularyInspector( root );
        ins.begin( r, assume );
        ins.inspectURI( r, S, resource( "open:/rhubarb" ) );
        assertIsoModels( model(), 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.