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.

      String msgPrefix, CommandLine cmd) {
//     create an ontology model with no reasoner and the default doc manager
    OntModelSpec dullOWL =
      new OntModelSpec(null, dm, null, ProfileRegistry.OWL_LANG);
    
    OntModel m =
      ModelFactory.createOntologyModel(
          dullOWL);
        m.read(url,lang);
        chk.add(m);
    return results(chk, msgPrefix, cmd);
  }

View Full Code Here

      String msgPrefix, CommandLine cmd) {
//     create an ontology model with no reasoner and the default doc manager
    OntModelSpec dullOWL =
      new OntModelSpec(null, dm, null, ProfileRegistry.OWL_LANG);
    
    OntModel m =
      ModelFactory.createOntologyModel(
          dullOWL);


    m.read(in, "urn:x-jena:syntaxchecker", lang);
    chk.add(m);
    return results(chk, msgPrefix, cmd);
  }

View Full Code Here




   */
  
  public void subClass(Resource c, schema.type type, Context ctx) {
    OntModel ont = (OntModel) c.getModel();
    Resource superclass = null;
    XMLBean b = get_baseType(ont,ctx);
    
    if (b!=null && b instanceof simpleType)
      superclass = ((simpleType) b).toOWL(ctx);
    else if (b!=null && b instanceof complexType)
      superclass = ((complexType) b).toOWL(null,true,ctx);
    else if (base != null) {
      String t = expandQName(ctx.getDefaultNS(),base, ont);
      if (t.startsWith(schema.XSD_URI)) {
        if (type==schema.type.simpleType) superclass = schema.toOWL(ont,t);
      }  
      // extension as superclass can only be done in a context where classes are defined by intersection
      else superclass = ont.getResource(t);
    }
    
    // this ignores xs:anyType extensions which are null
    if (superclass!=null) c.addProperty(RDFS.subClassOf,superclass);


    // is this consistent
    if (!ctx.checkConsistency(c,ont.getBaseModel())) {
      schema.removeSubClass(ont,c,superclass);
      String subject = c.getLocalName();
      if (subject==null) subject = "anonymous";
      Gloze.logger.warn(subject+" invalid subClassOf "+superclass.getLocalName());
    }

View Full Code Here

    List<Rule> l = Rule.parseRules(Rule.rulesParserFromReader(br));
    GenericRuleReasoner r = new GenericRuleReasoner(l);
    r.setTraceOn(trace!=null && trace.equals("true"));
    ctx.setReasoner(r);
    
    OntModel m = xs.toOWL(target, name, false, ctx);
//    ctx.getModel().write(System.out,"RDF/XML-ABBREV");
    return m;
  }

View Full Code Here

    List l = Rule.parseRules(Rule.rulesParserFromReader(br));
    GenericRuleReasoner r = new GenericRuleReasoner(l);
    r.setTraceOn(trace!=null && trace.equals("true"));
    ctx.setReasoner(r);
    
    OntModel m = xs.toOWL(target, name, false, ctx);
//    ctx.getModel().write(System.out,"RDF/XML-ABBREV");
    return m;
  }

View Full Code Here

    reasoner = new GenericRuleReasoner(rules);      
  }


  @Test public void testAll() throws Exception {
    gloze = new Gloze(SILENT);
    OntModel m = runTest(new File(xsd+"/all.xsd"));
    checkConsistency(m,new File(rdf+"/allElement.rdf"));
  }

View Full Code Here

    runTest(new File(xsd+"/annotation.xsd"));
  }


  @Test public void testAttribute() throws Exception {
    gloze = new Gloze(SILENT);
    OntModel m = runTest(new File(xsd+"/attribute.xsd"));
    checkConsistency(m,new File(rdf+"/attributeDatatype.rdf"));
    checkConsistency(m,new File(rdf+"/attributeForm.rdf"));
    checkConsistency(m,new File(rdf+"/attributeGroup.rdf"));
    checkConsistency(m,new File(rdf+"/attributeGroupAnyAttribute.rdf"));
    checkConsistency(m,new File(rdf+"/attributeGroupAttribute.rdf"));

View Full Code Here

    checkConsistency(m,new File(rdf+"/attributeSimpleType.rdf"));
  }


  @Test public void testAttributeGroup() throws Exception {
    gloze = new Gloze(SILENT);
    OntModel m = runTest(new File(xsd+"/attributeGroup.xsd"));
    checkConsistency(m,new File(rdf+"/attributeGroup.rdf"));
    checkConsistency(m,new File(rdf+"/attributeGroupAnyAttribute.rdf"));
    checkConsistency(m,new File(rdf+"/attributeGroupAttribute.rdf"));
    checkConsistency(m,new File(rdf+"/attributeGroupAttributeGroup.rdf"));
  }

View Full Code Here

    checkConsistency(m,new File(rdf+"/attributeGroupAttributeGroup.rdf"));
  }


  @Test public void testChoice() throws Exception {
    gloze = new Gloze(SILENT);
    OntModel m = runTest(new File(xsd+"/choice.xsd"));
    checkConsistency(m,new File(rdf+"/choiceAny.rdf"));
    checkConsistency(m,new File(rdf+"/choiceChoice.rdf"));
    checkConsistency(m,new File(rdf+"/choiceElement.rdf"));
    checkConsistency(m,new File(rdf+"/choiceElementMax.rdf"));
    checkConsistency(m,new File(rdf+"/choiceGroup.rdf"));

View Full Code Here

    checkConsistency(m,new File(rdf+"/choiceSequence.rdf"));
  }


  @Test public void testComplexContent() throws Exception {
    gloze = new Gloze(SILENT);
    OntModel m = runTest(new File(xsd+"/complexContent.xsd"));
    checkConsistency(m,new File(rdf+"/complexContentExtension.rdf"));
    checkConsistency(m,new File(rdf+"/complexContentRestriction.rdf"));
  }

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.