protege

OWLReasonerRuntimeException in Protégé using Geonames ontology

由 纵饮孤独 提交于 2019-12-08 04:19:53
问题 I built an ontology in Protégé 4 to describe archaeological finds and I'd like to use Geonames individuals as places of discovery. How can I add external individuals in Protégé? Do I need to import the Geonames ontology in mine? I tried to: import geonames ontology add new individual with geonames full iri add property sameAs between my place and the new individual of the point 2 but importing the Geonames ontology makes the reasoner to die with this error message: OWLReasonerRuntimeException

Explain inference in Jena

由 醉酒当歌 提交于 2019-12-07 22:01:01
问题 In Jena, I have created an RDFS inference model using InfModel class: InfModel infmodel = ModelFactory.createRDFSModel(schema, data); Given an inferred statement from infmodel, how do we get the two statements that were used to infer it, similar to the the "explain inference" option in Protégé? For instance, if infModel contains the statement :a rdf:type :t , we might get two statements used to infer it, e.g., :a :p :b and :p rdfs:domain :t . 回答1: According to the documentation (and testing

Defining DataRange Expression in Protege for a Data Type Property

由 此生再无相见时 提交于 2019-12-07 07:36:01
问题 I am adding few new DataType in the OWL using Protege. The DataType is like percentage and I want to specify it's range with the double value ranging from 0 to 100. Similarly a DataType named Quality and I want to specify it's range with the double value ranging from 0 to 1. How can we specify these things in the Data range Expression ? I tried to find out but I found two links but not useful in my context. How to Define My Own Ranges for OWL DataProperties This is useful if we are manually

OWL how to force all the instances of a specific class to have a specific relationship

由 不问归期 提交于 2019-12-06 08:55:26
I am building an Ontology. I have a Class called Vehicle I have an Object Property called hasType I have a Class called VehicleTypes How can I force all the instances from Vehicle class to have one and just one instance of VehicleTypes What I have tried I am working on Protege. I made the hasType as a functional property. I added an Equivalent To which is like this: hasType exactly 1 VehicleTypes Is that enough please? Making hasType functional is the right move since every Vehicle can only have one VehicleType . However, you need to describe Vehicle hasType exactly 1 VehicleType as a

Explain inference in Jena

由 南楼画角 提交于 2019-12-06 06:51:39
In Jena, I have created an RDFS inference model using InfModel class: InfModel infmodel = ModelFactory.createRDFSModel(schema, data); Given an inferred statement from infmodel, how do we get the two statements that were used to infer it, similar to the the "explain inference" option in Protégé? For instance, if infModel contains the statement :a rdf:type :t , we might get two statements used to infer it, e.g., :a :p :b and :p rdfs:domain :t . According to the documentation (and testing with Jena 2.11.1) you can get access to a Derivation object which will allow you to create a textual

How save the result of reasoner FaCT++ or HermiT in Protege

由 穿精又带淫゛_ 提交于 2019-12-06 06:40:20
I'm using Protégé 4.3 and I want to save the results of the reasoner to the ontology file. When I stopped the reasoner, all results disappeared. How can I save results? Ignazio In Protégé, use File → Export inferred axioms as ontology… That should do what you're looking for. 来源： https://stackoverflow.com/questions/23079459/how-save-the-result-of-reasoner-fact-or-hermit-in-protege

OWL ObjectProperty loading as annotation in Protégé

由 时间秒杀一切 提交于 2019-12-05 02:55:37
问题 I'm trying to load an ontology in Protégé but it is not processed as expected. Most problematic is that all the Object and Data Properties appear as Annotation instead of Data Property and Object Property. I have an Object Property kingdom : <owl:ObjectProperty rdf:about="&wo;kingdom"> <rdfs:label xml:lang="en">kingdom</rdfs:label> <rdfs:comment xml:lang="en">associates a taxon rank with a kingdom</rdfs:comment> <vs:term_status>testing</vs:term_status> <rdfs:range rdf:resource="&wo;Kingdom"/>

Meaning of OWL exact cardinality restrictions

由 旧街凉风 提交于 2019-12-04 20:28:06
I am a newbie coding with the Manchester syntax for OWL . I need to understand the role of exactly . Which of these restrictions is correct: (hasChild (A or B)) and (hasChild exactly 1 Thing) (hasChild (A or B)) and (hasChild exactly 2 Thing) (hasChild (A and B)) and (hasChild exactly 1 Thing) (hasChild (A and B)) and (hasChild exactly 2 Thing) Can you explain it when A and B are equivalent, and when they are disjoint? The meaning of class expressions is defined in section 2.2.3 Class Expressions of the OWL 2 Web Ontology Language Direct Semantics W3C recommendation. The four class expressions

RDF and OWL workflow question

由 痞子三分冷 提交于 2019-12-04 15:32:03
问题 I have been looking at and playing with OWL through Protege and I would like to know if I understand the "workflow" and idea of it correctly (for building up a database from scratch: Generate an OWL ontology for your data using Protege or equivalent Export this schema to RDF Use the classes defined as some of the elements in a triplestore along with your target data Export your triplestore to RDF Use openRDF/sesame or Jena to load the defined data and ontology Validate your RDF triplestore

Merge Ontology with Protege-OWL API

由 与世无争的帅哥 提交于 2019-12-04 11:52:41
I used protege to create two ontology and I save as A.owl, B.owl. I know that the protege-4.0 can merge many ontology. I want to use protege-owl API to merge ontology A.owl and B.owl to C.owl; But I don't know how to do it. Could you help me. Thank you very much. First load both A and B. Then go to "Refactor > Merge Ontologies" from the menu. Geetha Assume that you have opened A.owl in Protege. Go to the "Active Ontology" tab. Click on the plus sign beside the Direct Imports text. Click on the button for "Direct Imports" and import "B.owl". Then go to "Refactor" > "Merge Ontologies". This was
订阅 protege