2018
DOI: 10.29007/p6vz
|View full text |Cite
|
Sign up to set email alerts
|

SWRL2SPIN: Converting SWRL to SPIN

Abstract: SWRL is a semantic web rule language that combines OWL ontologies with Horn Logic rules of the RuleML family of rule languages. Being supported by Protégé as well as by popular rule engines and ontology reasoners, such as Jess, Drools and Pellet, SWRL has become a very popular choice for developing rule-based applications on top of ontologies. However, being doubtful whether SWRL will become a W3C standard, it is difficult to reach out to the industrial world. On the other hand, SPIN has become a de-facto indu… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
7
0

Year Published

2019
2019
2023
2023

Publication Types

Select...
4
1
1

Relationship

0
6

Authors

Journals

citations
Cited by 7 publications
(7 citation statements)
references
References 17 publications
0
7
0
Order By: Relevance
“…SWRL is a semantic web rule language that combines OWL ontologies with Horn Logic rules of the RuleML family of rule languages. However, key inference problems for SWRL are undecidable [ 38 ]. SPIN can represent SPARQL rules and constraints on Semantic Web models [ 39 ].…”
Section: Related Workmentioning
confidence: 99%
“…SWRL is a semantic web rule language that combines OWL ontologies with Horn Logic rules of the RuleML family of rule languages. However, key inference problems for SWRL are undecidable [ 38 ]. SPIN can represent SPARQL rules and constraints on Semantic Web models [ 39 ].…”
Section: Related Workmentioning
confidence: 99%
“…Being supported by the Protégé ontology editor 26 as well as by popular rule engines and ontology reasoners, such as Jess, 25 Pellet, 30 Hermit, 31 FaCT++, 32 and Drools, 33–35 SWRL has become a very popular rule description language for emerging rule-based systems on top of ontologies. 41 During the inferencing process via any reasoner, the inferencing process is executed only by running OWL individuals allocated to ontology on SWRL rules. For example, a SWRL rule is as follows: “hasParent (?x,?y), hasBrother (?y,?z) → hasUncle (?x,?z).” It means if x has parent y and y has brother z, then x has uncle z.…”
Section: Reasoning Of the Recommendations By Iementioning
confidence: 99%
“…Semantic rules are also grounded in formal logic and rich semantics; they can deduce further statements with explanations. Semantic rules are more manageable and understandable than procedural codes to lessen the semantic gap between different parties (Bassiliades 2018). In short, ontologies and rules can provide semantics to disambiguate the meaning of the information concerning how the geospatial data are visualised, and thus foster better transfer, interpretation, and reuse of such knowledge.…”
Section: Knowledge Representation Using Semantic Web Technologiesmentioning
confidence: 99%
“…This rule modelling transition is also being advocated by some Semantic Web researchers; see e.g. Bassiliades (2018). In this paper, we use SPIN rules (with the namespaces spin and sp; for details, see Knublauch ( 2011)) to model the portrayal rules.…”
Section: Formalisation Of Data Portrayalmentioning
confidence: 99%