Stack Overflow
Stack Overflow

Questions tagged [swrl]

SWRL (Semantic Web Rule Language) is a proposed semantic rule language based on combination of OWL-DL with Rule-ML.

SWRL is the Semantic Web Rule Language, formulated as a combination of OWL and RuleML. SWRL extends the definition of OWL axioms with Horn-like rules, thereby allowing additional inference capabilities, basic mathematical functionality and provide a formal meaning in an ontology. It was submitted to the W3C on 21 May 2004.

Rules take the form of logical implication with a rule antecedent(body) and rule consequent(head), each of which is composed of zero or more "atoms". These rules are read as "If the antecedent holds true then perform the actions in the consequent".

Rules can be expressed in a high level abstract syntax to express the Horn-like rules in OWL-Lite or OWL-DL or in the form of XML based syntax. The XML syntax based on RuleML and the OWL XML Presentation Syntax as well as an RDF concrete syntax based on the OWL RDF/XML exchange syntax.

The Official SWRL reference :
SWRL: A Semantic Web Rule Language Combining OWL and RuleML

Tools to write SWRL rules:
1)
2) Any text editor

Additional References:
1)
2)RuleML

173 questions
3
votes
1 answer

Reasoning with Pellet on SWRL rules in Jena Framework

I am trying to use Jena framework to edit an existing ontology built with Protoge 4.2. i.e. to change property values or add individuals or classes and then do reasoning. Assume in the ontology we have a rule such that:…
Hasti
  • 239
  • 1
  • 3
  • 17
2
votes
1 answer

How to infer an object property based on data properties?

I'm a protégé newbie and did the pizza tutorial and read the 101 documentation. I'm trying to model a ontology like the following picture: I have a person who has a style. The style can be a style_active or style_passive. This style is determined…
Silva
  • 73
  • 7
2
votes
1 answer

owlready2 reasoner does not generate inferred object property assertions with a SWRL rule

Suppose an OWL ontology contains the following SWRL rule: has_part(?x, ?y) ^ participates(?x, ?z) -> participates(?y, ?z) and following object property assertions: o1 has_part o2 o1 participates p1 When I run the Hermit reasoner in Protege, I…
HMCheong
  • 79
  • 1
  • 7
2
votes
1 answer

SWRL rule using OR statements

I'm trying to figure out a way of implementing a SWRL rule that would need to make use of an OR type statement. Here is the scenario: The ontology has a class "MachineTool" which has an object property of "hasProcess" and a number of classes of…
Christian
  • 63
  • 1
  • 7
2
votes
1 answer

The SWRL rule doesn't apply on my ontology

I'm writing a diploma thesis about how does weather affect on people's health (meteoropathy). The ontology is shown in the picture in this link: http://dl.dropbox.com/u/5322973/WeatherHealthcast1%20-%20Properties.PNG So, a wrote a simple SWRL…
Viktor
  • 93
  • 6
2
votes
1 answer

SWRL rules comparing individuals from two (2) classes

I have a simple ontology with different classes, which courses and lessons are classes. I'm trying to run a SWRL rule that associates a property belongsTo to individuals of the lessons. I'm using OWLReady2 and Python with onto: #courses …
TheSoldier
  • 484
  • 1
  • 5
  • 25
2
votes
0 answers

How to add support for SWRL rules in GraphDB?

I want to use GraphDB for ontology which uses SWRL rules. Is it possible to add SWRL rules set into GraphDB? How can one do it?
SVS
  • 61
  • 6
2
votes
1 answer

How to add specific Individual to swrl rule using protege editor in protege 5?

I am using Protege 5 and I am trying to create a SWRL rule that results in creating a object property connection between a variable instance and a specific Individual. This is the way i write it: sosa:HumidityObservation( ?observation)…
Stelios Botonakis
  • 183
  • 1
  • 3
  • 11
2
votes
1 answer

SWRL rule on n-ary relation in OWL

I want to use OWL (in Protege) to encode the ternary relation ancestorOf(x, y, p); saying that y is the ancestor of x with probability p. Because object properties only support binary relations, my relation has to be represented as a Relation class…
user3170496
2
votes
0 answers

Axiomatic or rule-based definition of an ordinal scale

I would like to create an ordinal scale class, to be a sibling class of "categorical value specification" in the ontology of biomedical investigations Loosely speaking, each item in the scale is "more" than the previous. I think I will need to…
Mark Miller
  • 3,011
  • 1
  • 14
  • 34
2
votes
1 answer

An ontology created on Protege, is an ontology OWL FULL or OWL DL?

I have a question about ontologies on Protege. When we create an ontology with inference rules on Protege, will this ontology be in OWL FULL or in OWL DL?
bobo06
  • 55
  • 4
2
votes
1 answer

Combining reasoners in OWL API for OWL DL + SQWRL support

I need to calculate some SQWRL rules on a OWL 2 DL ontology. The problem is: Current OWL 2 DL reasoners only support SWRL builtins The only SQWRL SWRLAPI engine is drools-swrlapi wich is OWL 2 RL and will not be able to process my DL ontology I…
grandrew
  • 698
  • 7
  • 12
2
votes
1 answer

SWRL: restrict a rule to a specific individual

Lets say there is a class "Food" containing individuals "Grain" and "Fruit" . If i want to select Grain i can assign a food_type data Property to individuals (class) Food (ind_1) Grain food_type ---> "grain_food" (ind_2) Fruit …
alex
  • 7,551
  • 13
  • 48
  • 80
2
votes
2 answers

How can I transform the rules to SWRL code?

Let's assume we have the following rule: Course(?x), teacherOf(?y,?x), worksFor(?y,?z) => coursePresentedInUniversity(?x,?z) Is there any library in pellet or java to convert the above rule to SWRL code? for example, to the following:
Enayat
  • 3,904
  • 1
  • 33
  • 47
2
votes
1 answer

Writing action theories in OWL + SWRL: possible?

In order to solve symbolic planning problems we write action theories. Popular languages for writing action theories are STRIPS and ADL. For describing an action we need to provide: preconditions effects For example, in a robot domain, we have…
fferri
  • 18,285
  • 5
  • 46
  • 95
1
2
3
…
11 12