protege

How to infer individual with more than 2 properties in OWL / GraphDB?

时间秒杀一切 提交于 2019-12-24 10:58:54
问题 I got advice from the previous question and modified the source. However, the source still does not work properly. I am using GraphDB(RuleSet: OWL2-RL) and SPARQL. I have an ontology with Person and Animal_Lover classes. People are Animal_Lover if they have more than 2 pet. How can I do this in my ontology? <?xml version="1.0"?> <rdf:RDF xmlns="http://www.example.com/test" xmlns:test="http://www.example.com/test#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www

Creating New Classes and Individuals with SWRL in Protege

旧街凉风 提交于 2019-12-24 04:31:14
问题 I've been trying to write SWRL rules that automate creation of new entities and their assignment to classes and predicates in a Protege ontology. The code here didn't result in creation of even one individual, neither did the example in the readme work. For clarity, here is the rule I'm trying to make work: Person(?person) ^ hasSSN(?person, ?ssn) ^ swrlx:makeOWLThing(?patient, ?person) -> Patient(?patient) ^ hasPID(?patient, ?ssn) In this ontology: @prefix : <http://www.semanticweb.org

Creating New Classes and Individuals with SWRL in Protege

坚强是说给别人听的谎言 提交于 2019-12-24 04:31:07
问题 I've been trying to write SWRL rules that automate creation of new entities and their assignment to classes and predicates in a Protege ontology. The code here didn't result in creation of even one individual, neither did the example in the readme work. For clarity, here is the rule I'm trying to make work: Person(?person) ^ hasSSN(?person, ?ssn) ^ swrlx:makeOWLThing(?patient, ?person) -> Patient(?patient) ^ hasPID(?patient, ?ssn) In this ontology: @prefix : <http://www.semanticweb.org

Extend DBpedia entity in Protege ontology

删除回忆录丶 提交于 2019-12-24 04:00:16
问题 I'm using Protege to develop an ontology that will include some things that are already described in DBpedia. Let's say I want to include a class 'Cities' and have 'Berlin' as an individual. My Berlin will have some properties the DBpedia Berlin doesn't but otherwise I'd like to 'reuse' DBpedia's Berlin. Do I need to define my own Berlin and then use rdf:seeAlso or can I somehow import DBpedia's Berlin and add some properties? 回答1: Just use the DBpedia IRI, If it's sufficient to simply talk

Reflexive property in protege

為{幸葍}努か 提交于 2019-12-24 00:35:37
问题 This is my ontology created with protege 5 . If i make cl1 and cl2 disjoint, then the ontology is being inconsistent , but if i uncheck is_friend_of reflexive , the ontology is not inconsistent any more . whats wrong with my ontology ? I want only cl1 class individuals have is_friend_of property. 回答1: Reflexivity of :is_friend_of is essential for inconsistency. Take a look at Reasoner > Inconsistent ontology explanation : I'll try to translate this explanation into (poor) English: Since :is

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

喜欢而已 提交于 2019-12-22 17:56:21
问题 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? 回答1: In Protégé, use File &rightarrow; 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

How to get individual results while solving Einstein's riddle with OWL in Protégé?

冷暖自知 提交于 2019-12-18 18:42:32
问题 I would like to better understand ontologies and reasoning. There is an interesting puzzle called Einstein's riddle on the net that can be solved with the help of ontologies and reasoning. I downloaded the OWL ontology from that site and imported it into Protege 4.0.2 (does not work with 4.1). I can start a reasoner by Reasoner → FaCT++ , Reasoner → Classify… , but i don't know, how to visualize the individual results. How can I do this? 回答1: There are two ways in which you can visualise the

How to get individual results while solving Einstein's riddle with OWL in Protégé?

五迷三道 提交于 2019-12-18 18:42:01
问题 I would like to better understand ontologies and reasoning. There is an interesting puzzle called Einstein's riddle on the net that can be solved with the help of ontologies and reasoning. I downloaded the OWL ontology from that site and imported it into Protege 4.0.2 (does not work with 4.1). I can start a reasoner by Reasoner → FaCT++ , Reasoner → Classify… , but i don't know, how to visualize the individual results. How can I do this? 回答1: There are two ways in which you can visualise the

Inferencing in protege

为君一笑 提交于 2019-12-18 05:17:13
问题 I have a simple ontology as follows <?xml version="1.0"?> <!DOCTYPE rdf:RDF [ <!ENTITY owl "http://www.w3.org/2002/07/owl#" > <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" > <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" > <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" > <!ENTITY assignment "http://www.semanticweb.org/shadowman/ontologies/2013/5/assignment#" > ]> <rdf:RDF xmlns="http://www.semanticweb.org/shadowman/ontologies/2013/5/assignment#" xml:base="http://www

obtain the matrix in protege

馋奶兔 提交于 2019-12-17 20:26:19
问题 My work is about library book of recommendation systems . that as input I need book Classification ontology . in my ontology classify library books. this classification has 14 categories, beside the sibling classes Author, book, Isbn. Individuals in book class are book’s subject(about 600 subjects) , and individuals in author class are name’s author and also isbn class. I design this ontology with protege 4.1. also I collected and Have got in part of belong book to categories manually. That a