owl

SWRL rules don't infer new Object and Data Property Assertions

由 百般思念 提交于 2019-11-26 23:19:50
问题 I have created this ontology which contains two classes: Blood-Sugar and Services . Blood-Sugar has two data properties: hasValu with range xsd:int, and hasStatut with range xsd:string. The object property triggerService has Blood-Sugar as domain and Service as range. I want to infer a data property assertion with this rule: Blood_Sugar(?x) ∧ hasValue(?x, ?y) ∧ swrlb:greaterThan(?y, 126) ∧ swrlb:lessThan(?y, 500) → hasStatut(?x, "High") Then I want to infer a new object property with this

Adding statements of knowledge to an OWL Ontology in Protege)

由 点点圈 提交于 2019-11-26 23:17:31
问题 In my Ontology I have three classes, Player , Team , and Competition . I also have the two object properties, employs , and competesIn . The domain of employs is Team , and the range Player , the domain of competesIn is Team or Player and the range Competition . I want the Ontology to infer that if a Player is employed by a Team and that Team competes in a Competition then the Player also competes in that Competition . Is there any way to add this information to an Ontology without putting in

Ontology property definition in Protégé-OWL / SWRL

由 China☆狼群 提交于 2019-11-26 23:09:21
I need to implement an OWL-ontology in Protégé, which contains a two classes: s1 and s2 , both are the instances of System class. These two classes are connected by the connection class s1_s2 , which contains property omega . This property has to take a value according to the following law: omega = 1 * s1.complete How can I implement it in Protégé, such way I could use it in SWRL-rule in the future? In general, you'd start by defining the classes and the properties that you need: At this point you could add some axioms that govern how the systems have to interact, how the properties work, etc.

OWL 2 rolification

由 时间秒杀一切 提交于 2019-11-26 20:32:02
In description logic, there is a concept called "rolification" ( OWL and Rules, Sec 3.2 ). It converts a concept (class) into a role (property). For example, when we rolify R(x) , we get r(x,x) . This technique is useful for expressing some rules in DL. How do we do this in OWL 2? It seems that there is no direct support for rolification in OWL 2 specification . Section 3.2 of the paper that you linked to says: It is indeed possible to translate this rule into OWL 2—however this involves a transformation which we call rolification: The rolification of a concept A is a (new) role R A defined by

finding common superclass and length of path in class hierarchies

由 て烟熏妆下的殇ゞ 提交于 2019-11-26 17:53:18
问题 I have two classes, A and B, from DBpedia. How can I calculate the distance (number of edges) from each class to a common superclass C, and how can I find this common superclass? 回答1: You can do this, but a couple of things should be noted first: Two classes may have lots of superclasses in common, not necessarily just one. This means that there may not be a unique most specialized common superclass. If some class C is a superclass of A and B, then every superclass of C is also a superclass

How to infer isBrotherOf property between two individuals

由 雨燕双飞 提交于 2019-11-26 17:47:36
问题 I need to infer that one individual is the brother of other one if they have the same father. So, if I have this: Bart hasFather Homer. Lisa hasFather Homer. Because Bart and Lisa have the same father, I would like to infer: Lisa hasBrother Bart. Is there any method to do that using any property characteristics? 回答1: Use Property Chains and Rolification Antoine Zimmermann's answer is a very good start to this problem, and touches on the major point that you need to solve this sort of task:

SWRL rules in protege 3.4.8

由 喜你入骨 提交于 2019-11-26 16:57:03
问题 I created an ontology that contains the class Blood_Sugar this class contains 4 subclasses: Normal_BS, High_BS, Low_BS and Dangerous_BS. I would like to execute a SWRL rule on Protege 3.4.8 which permit to classify individuals of the supere class Blood_Sugar in subclasses according to their values. Blood_Pressure(?x) ∧ hasLevelvalue(?x, ?y) ∧ swrlb:greaterThan(?y, 126) ∧ swrlb:lessThan(?y, 500) → High_BS(?x) knowing that hasLevelValue is a DataType proprety, its domain is Blood_Sugar class

Using Property Chains to get inferred Knowledge in an OWL Ontology(Protege)

由 与世无争的帅哥 提交于 2019-11-26 16:56:15
问题 I have modelled the following in my Ontology: Club employs some Player, Player hasNationality some Nationality, Player hasNationalStatus value National_Player, Country is equivalent to Nationality. I want the Ontology to infer that: If a Player hasNationality some Nationality and, Player hasNationalStatus value National_Player then, Country(Same as the nationality the player has) employs Player. As an example: {Steven_Gerrard} hasNationality value England and, {Steven_Gerrard}

Sparql query Subclass or EquivalentTo

由 守給你的承諾、 提交于 2019-11-26 14:39:17
问题 I want to query all subclass of Nicotine (product). the result must be (Nasal form nicotine, Oropharyngeal from ni ..(4 items).. see in the picture) i try to query by rdfs:subClassOf+ and owl:equivalentClass+ but didn't work try from this example the code same here. PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> SELECT * WHERE { ?s owl:equivalentClass+ ?o . # and try ?s rdfs:subClassOf

What is a good RDF library for .net? [closed]

由 微笑、不失礼 提交于 2019-11-26 11:17:44
问题 I\'m looking for a library that can deal with RDF and OWL data. So far I have found: semweb (no owl support for all I know) rowlex (more of a \'browser\' application) Your recommendations: LinqToRdf (very interesting, thanks mark!) 回答1: ROWLEX is actually very cool (uses SemWeb internally). It is not just a browser app but rather an SDK written in C#. If you use ROWLEX, you do not directly interact with the tripples of RDF anymore (though you can), but gives an object oriented look&feel.
订阅 owl