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
1
vote
1 answer

SWRL and Rolification cannot return what I want

I have developed an ontology and I want to add the following SWRL in protege: Divider_intersection(?node), is_extent_of(?node, ?s), builds(?s, ?l),Segment(?s),Lane(?l),detailed_partition(?d), builds(?l, ?d)-> is_divided_at(?d, ?node) with this I…
msc87
  • 943
  • 3
  • 17
  • 39
1
vote
1 answer

property chaine for a data property

According to the protege 4.x documentation the property chain exists for the object properties however in my case I need to include a data property as follow: if builds(B, A) o has_name(A, "Holly wood") -> has_name(B, "Holly wood") To explain a…
msc87
  • 943
  • 3
  • 17
  • 39
1
vote
1 answer

How to model a class that is a collection of individuals of another class in Protege

I need to model following example in Protege: Suppose I have a class, Pride, which represents a collection of instances of another class, Lion. Is there any other way to do this without use of user defined object property with minimum cardinality?…
Batman22
  • 376
  • 4
  • 25
1
vote
1 answer

Complement reasoning in OWL and Protege

I had recently created a little ontology to practice. In my ontology, there exists a class which is EmployedPerson, defined by one SWRL rule: Person(?x), (worksin min 1 Place)(?x) -> EmployedPerson(?x). Also I have another class which is…
Sven Hazard
  • 23
  • 5
1
vote
1 answer

Does SWRL supports blank node inference as Jena?

Most of inference engine support SWRL which allows user to add their own inference rules. However, In my context those users rules can require inferencing a blank nodes in the consequence side of the rule. Jena provides makeTemp a builtin method to…
Fopa Léon Constantin
  • 11,863
  • 8
  • 48
  • 82
1
vote
1 answer

Access ontology through OWL API

I would like to have access to my ontology and SWRL rule through OWL API using Eclipse. Can anyone help with the exact procedure that can tell me what to do? I have tried the following code but I do not seem to get any response from it. Please bear…
user3371564
  • 11
  • 1
1
vote
2 answers

ParserException in Protege SWRL rule editor on swrlb:greaterThan

I am using Protege 4.3 and SWRL to make some rules with Pellet as a reasoner. I am trying to use the SWRL builtins but i cannot make it work at all. The rule is correct but Protege does not seem to recognise at all the builtin (e.g.…
user2965926
  • 13
  • 2
1
vote
1 answer

OWL 2 reasoning with SWRL rules

I'm trying to use the HermiT reasoner to compute inferences for an ontology which contains a set of OWL axioms and a SWRL rule: Ontology( ClassAssertion( :Student :Bob ) ClassAssertion( :Professor :DrBoffin ) ClassAssertion( :University :UF ) …
Yang
  • 7,712
  • 9
  • 48
  • 65
1
vote
1 answer

SWRL: How to use the built-in swrlb:booleanNot?

I am using Protege 3.4.8. Say I have some instances with a datatype property colors and object property hasMeaning. The value of colors are represented by a string, e.g. red blue yellow. I'd like to create a rule like this: If one's colors contain…
goldfrapp04
  • 2,326
  • 7
  • 34
  • 46
1
vote
0 answers

swrl rules for data mapped

I have developed an ontology to identify patients and also mapped it to my sample SQL database (include 100 patients). It means we don’t have any individuals in ontology. So, how can I run similar swrl rule for the following sparql query in the…
ali
  • 11
  • 1
1
vote
2 answers

Database for SQWRL queries and SWRL rules

I have built an ontology using Protégé, but how to write data to it? Do we need to have separate database? I followed this link. Now the database has been created in SQL but I am not getting how to put data there. And how to match the tables and…
Jana
  • 189
  • 1
  • 3
  • 13
0
votes
1 answer

Problem in Data Property inference with swrl in protegé

I wrote a SWRL rule in this way: Guarani(?g)->AmphibiousSpeed(?g,45) I already have a class Guarani and a data property AmphibiousSpeed. I already created an individual guarani0. It feels like after reasoning the data property of a should be…
searcher__dm01
  • 109
  • 1
  • 8
0
votes
1 answer

How to generate specific inference using owlapi?

I am working on this project which requires to perform ontology reasoning in code, so far I have written this rule. I am implementing this in java with the help of owlapi, and clarkparsia.pellet.owlapiv3.PelletReasoner. //dexpi:Pump(?pump) ^…
Satyam G
  • 3
  • 3
0
votes
0 answers

OWLAPI and HermiT reasoner: can not force irreflexive transitive object property

I am currently using OWLAPI and the HermiT reasoner on a simple ontology O modelling delegation. O represents the M.W.E. showing the issue I am facing and defines a single class Person, a single object property delegates(.,.) (whose domain and range…
Chaos
  • 101
  • 3
0
votes
1 answer

How to import a batch of SWRL rules into an OWL ontology without manually importing them one by one?

I am currently working on creating Ontology (OWL) files for my project, and I need to specify a large set of SWRL rules (more than 100). In my current understanding, importing these rules one by one is the only way to do it in the Protege program.…
Pam Cesar
  • 73
  • 1
  • 6
1 2 3
…
11 12