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
0
votes
2 answers

Assigning a value to a property based on a SWRL rule (Protege 4.3 with Pellet as reasoner)

My question is related to SWRL rules and actually was already asked by another user (see Ontology property definition in Protégé-OWL / SWRL). Still, after following the instructions on how to get it to work, I was not successful. In my ontology I…
Sabina
  • 306
  • 1
  • 4
  • 6
0
votes
0 answers

SWRL rule on Protegé 4.3 used to initialize variables

I'm working on understanding how to initialize a variable's value when using an ontology (written on OWL) and SWRL rules. To test this initialization problem I've created (on Protegé 4.3) a test class called Test, an individual of that class called…
jmnavarro
  • 147
  • 7
0
votes
1 answer

How to use SWRL rules on Protegé 4.3 using Pellet

I've just started doing work on ontologies with Protegé and I'm trying to understand how to use SWRL rules. I'm afraid I don't get the concept or how to correctly treat them, as I'm not able to produce any output. I'll explain a bit more a simple…
jmnavarro
  • 147
  • 7
0
votes
1 answer

Is it possible to implement mathematical deduce in semantic web?

For example: we have premises a < b and b < c, can you deduce a < c in Semanric web?
WuZhu
  • 75
  • 6
0
votes
2 answers

Why my rule on Ontology doen't work

I built a simple ontology to test how SWRL rules infer new relations between individuals in an ontology, but it didn't work. My rule is: (hasFather(?x, ?y) ∧ hasMother(?x, ?z) → spouseOf(?y, ?z) and may be read as x has a father y, x has…
sonvx
  • 411
  • 4
  • 7
-1
votes
1 answer

SWRL tab is not working in Protege-5.0.0-beta-23.

I am using Protege 5.0 beta version. This version supports SWRL but whenever I click on its tab, I only get a blank screen. Here is a snapshot Protege 5.0 SWRL tab Help would be appreciated.
Anum
  • 13
  • 8
-1
votes
1 answer

semantic web reasoner and on the fly rules injection

Is there any semantic web reasoner (e.g. Pellet) that accepts rules (SWRL) on the fly ? or rules must be hard coded before starting the reasoner
naweed
  • 17
  • 1
  • 5
-2
votes
1 answer

Updating datatype property value base on SWRL rules

Hi i have made an ontology in protege 4.3 for users , suppose 1 of my ontology subclass of class user are: 1-"Interest" , and class "interest" have subclasses: "onlineGaming","onlineMovie","onlineshoping",... and every subclass has individual:…
meysam motamedi
  • 75
  • 9
1 2 3
…
11
12