protege | 易学教程

Close World Assumption in Protégé

阅读更多关于 Close World Assumption in Protégé

问题 Is it possible to force reasoning over an OWL ontology basing on a close world assumption (CWA) in Protégé? Obviously OWL bases on OWA, but I need to close it. 回答1: To reason using close world assumption without changing your ontology you need a reasoner that supports that feature. Pellet has an option to use closed world assumption, you will have to check Protégé's settings to make sure it is configurable though. I'm not aware of other reasoners providing it. If you cannot use Pellet, you'll

Qualified cardinality restriction definition in Protege

阅读更多关于 Qualified cardinality restriction definition in Protege

问题 I was following this tutorial -> LINK At page 75, it explains how to define a FourCheesePizza using a qualified cardinality restriction. Under the instructions it says "With this description a FourCheesePizza can still also have other relationships to other kinds of toppings. In order for us to say that we just want it to have four cheese toppings and no other toppings we must add the keyword 'only' (the universal quantifier)". Now, my definition of FourCheesePizza is: Pizza and hasTopping

Protege 学习笔记

阅读更多关于 Protege 学习笔记

1 命名命名采用驼峰命名法，通常： class（类）命名时，首字母大写，如Person，Place，Topping property（属性）命名时，首字母小写，如career，fullname 加同样的后缀，让人眼更容易判别：如MeatTopping,HamTopping都属于Topping。 2 OWL属性 OWL的属性代表着“关系”，主要有两种属性： ObjectProperty （对象属性），link an individual to an individual DatatypeProperty（数据属性） , link an individual to the data 还有一种属性是Annotation属性，用于补充信息。下图是各个属性的示例：属性的命名建议：驼峰命名法，首字母小写；添加前缀"has"，“is”，比如hasPart, isPartOf, hasManufacturer, isProducerOf 这样不仅易于人眼分辨，而且连接起来符合英文表达，可读性高。属性可以拥有子属性（无论object property 还是datatype property）：添加子属性Add subproperty：比如hasIngredient的子属性可以是hasTopping和hasBase。属性类型不能混用

Unsuccessful team-employs-player property chain

阅读更多关于 Unsuccessful team-employs-player property chain

问题 I am intrigued by Using Property Chains to get inferred Knowledge in an OWL Ontology(Protege) The accepted answer has two solutions: two OWL expressions, or a SWRL rule. I get the sense that the OP found the all-OWL (property chain) solution confusing but was satisfied with the SWRL answer. I am trying to implement the all-OWL solution. So far, I don't see an inference that Steven_Gerrard is employed by England when reasoning with Pellet . I do see the inference Steven_Gerrard R

SPARQL-queries (HELP!)

阅读更多关于 SPARQL-queries (HELP!)

问题 So, I have an Ontology and need some help with my SPARQL-queries. The ontology is based on different beer ingredients and equipment for brewing. For instance, it has the class "Ingredients", and a subclass "Malt/Grain", and then a subclass "Dark". Now I have some different, more specific types of dark malts, that are individuals, and members of the class Dark. If I go into one individual in Protege, for instance "Dark_Crystal", will have "Dark" under its field of "Types" So, I want to be able

Individual with “null” object property

阅读更多关于 Individual with “null” object property

问题 I am working on an ontology task in Protege . Situation: I have Student class that has subclasses of InactiveStudent , ActiveStudent and VeryActiveStudent . These subclasses have conditions related to object property called isEnrolledForSubject . I defined conditions for: ActiveStudent = 'Class of all students' and (isEnrolledForSubject min 1 'Class of all subjects') VeryActiveStudent = 'Class of all students' and (isEnrolledForSubject min 4 'Class of all subjects') but I don't know how to

swrlx:makeOWLThing is creating only one individual

阅读更多关于 swrlx:makeOWLThing is creating only one individual

问题 Using Protege and SWRL tab, I have the ontology mentioned hereinafter. It is composed of the Class Test and the class Shadow , where Test has three individuals t1, t2, t3 . I was trying to define an SWRL rule that creates an individual of Shadow class for each existing individual of Test , the rule is Test(?x) ^ swrlx:makeOWLThing(?new, ?x) -> Shadow(?new) QUESTIONS: Only one individual of Shadow , named fred is created, instead of three (corresponding to t1, t2, t3 ). How to control the

owl:ObjectProperty and reasoning

阅读更多关于 owl:ObjectProperty and reasoning

问题 In my ontology, I have two individuals of type abc:Invention : abc:InventionA rdf:type abc:Invention . abc:InventionB rdf:type abc:Invention . and 2 individuals of type abc:MarketSector , linked with an object property abc:includedIn : abc:MrktSctrA rdf:type abc:MarketSector . abc:MrktSctrB rdf:type abc:MarketSector . abc:MrktSctrB abc:includedIn MrktSctrA . Currently, InventionA and InventionB are linked with, respectively MrktSctrA and MrktSctrB via an object property abc:targets : abc

How to define a class Road to be equivalent to a set of objects with the same value of hasRoadNumber data property

阅读更多关于 How to define a class Road to be equivalent to a set of objects with the same value of hasRoadNumber data property

问题 I defined class RoadSegment and datatype property hasRoadNumber . So, now I want to define class Road and state that a Road is a set of RoadSegments with the same road number. How it can be done? 来源： https://stackoverflow.com/questions/57937212/how-to-define-a-class-road-to-be-equivalent-to-a-set-of-objects-with-the-same-va

Object property instance on class?

阅读更多关于 Object property instance on class?

问题 Let's say for example: -Food(class -Bread(instance of Food! -Species(class -Animal(class - Horse(class -Unicorn(instance Now I need to be able to set Bread -> eatableBy -> Horse. But I can't make a object property assertion to a class. So I could set it eatable by and add all the instances of Horse, but I have a lot of instances so that would be a bit redundant. Does anybody know a good efficient way to do achieve the same effect? E.g. If I need to know what Horses can eat it needs to return