swrl

问题 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? 回答1: In general, you'd start by defining the classes and the properties that you need: At this

问题 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. 回答1: 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