Semantic Web Rule Language
The Semantic Web Rule Language (SWRL) is a proposed language for the Semantic Web that can be used to express rules as well as logic, combining OWL DL or OWL Lite with a subset of the Rule Markup Language (itself a subset of Datalog). The specification was submitted in May 2004 to the W3C by the National Research Council of Canada, Network Inference (since acquired by webMethods), and Stanford University in association with the Joint US/EU ad hoc Agent Markup Language Committee. The specification was based on an earlier proposal for an OWL rules language.
- Comment
- enThe Semantic Web Rule Language (SWRL) is a proposed language for the Semantic Web that can be used to express rules as well as logic, combining OWL DL or OWL Lite with a subset of the Rule Markup Language (itself a subset of Datalog). The specification was submitted in May 2004 to the W3C by the National Research Council of Canada, Network Inference (since acquired by webMethods), and Stanford University in association with the Joint US/EU ad hoc Agent Markup Language Committee. The specification was based on an earlier proposal for an OWL rules language.
- Has abstract
- enThe Semantic Web Rule Language (SWRL) is a proposed language for the Semantic Web that can be used to express rules as well as logic, combining OWL DL or OWL Lite with a subset of the Rule Markup Language (itself a subset of Datalog). The specification was submitted in May 2004 to the W3C by the National Research Council of Canada, Network Inference (since acquired by webMethods), and Stanford University in association with the Joint US/EU ad hoc Agent Markup Language Committee. The specification was based on an earlier proposal for an OWL rules language. SWRL has the full power of OWL DL, but at the price of decidability and practical implementations.However, decidability can be regained by restricting the form of admissible rules, typically by imposing a suitable safety condition. Rules are of the form of an implication between an antecedent (body) and consequent (head). The intended meaning can be read as: whenever the conditions specified in the antecedent hold, then the conditions specified in the consequent must also hold.
- Hypernym
- Language
- Is primary topic of
- Semantic Web Rule Language
- Label
- enSemantic Web Rule Language
- Link from a Wikipage to an external page
- oxygen.informatik.tu-cottbus.de/rewerse-i1/%3Fq=node/6
- bossam.wordpress.com/
- kaon2.semanticweb.org/
- owl.man.ac.uk/hoolet/
- stardog.com/
- www.w3.org/Submission/SWRL/
- www.w3.org/Submission/SWRL-FOL/
- www.w3.org/TR/owl-xmlsyntax/
- web.archive.org/web/20070925082014/http:/pellet.owldl.com/
- web.archive.org/web/20060718175210/http:/www.racer-systems.com/products/racerpro/index.phtml
- archive.today/20121215054848/http:/protege.cim3.net/cgi-bin/wiki.pl%3FSWRLTab
- www.oxfordsemantic.tech
- Link from a Wikipage to another Wikipage
- Business Intelligence 2.0
- Category:Knowledge representation languages
- Category:Semantic Web
- Datalog
- Description Logic
- Description Logic Programs
- Forward chaining
- Horn logic
- In-memory database
- Knowledge graph
- National Research Council of Canada
- Ontology (information science)
- Protege (software)
- R2ML
- Resource Description Framework
- RuleML
- Semantic Grid
- Semantic Web
- Semantic wiki
- Stanford University
- Triplestore
- W3C
- WebMethods
- Web Ontology Language
- XML
- XML
- XSLT
- SameAs
- 3Crwy
- m.0ftwdn
- Q3478367
- Semantic Web Rule Language
- Semantic Web Rule Language
- Subject
- Category:Knowledge representation languages
- Category:Semantic Web
- WasDerivedFrom
- Semantic Web Rule Language?oldid=1124370413&ns=0
- WikiPageLength
- 9640
- Wikipage page ID
- 6168884
- Wikipage revision ID
- 1124370413
- WikiPageUsesTemplate
- Template:Dunno
- Template:Expand section
- Template:Free
- Template:No
- Template:Partial
- Template:Reflist
- Template:Semantic Web
- Template:Use dmy dates
- Template:Yes