OWL 2 RL

E168626

OWL 2 RL is a profile of the Web Ontology Language designed for scalable reasoning using rule-based systems, enabling efficient inference over large datasets.

All labels observed (2)

Label Occurrences
OWL 2 RL canonical 4
OWL 2 Profiles specification 1

How this entity was disambiguated

Statements (47)

Predicate Object
instanceOf OWL 2 profile
ontology language profile
aimsTo balance expressivity and performance
basedOn OWL
surface form: Web Ontology Language
compatibleWith backward-chaining reasoners
forward-chaining reasoners
production rule systems
rule-based reasoning engines
contrastedWith OWL 2 DL
OWL 2 EL
OWL 2 QL
definedIn OWL 2 RL self-linksurface differs
surface form: OWL 2 Profiles specification
designedFor efficient inference over large datasets
rule-based reasoning systems
scalable reasoning
enables forward-chaining materialization of inferences
hasAbbreviation RL
hasComputationalProperty PTIME data complexity
tractable reasoning
hasDesignGoal implementability via rule engines
polynomial-time reasoning
support for large RDF graphs
hasFormalization set of entailment rules
hasProfileType rule-based profile
hasSemanticsCompatibleWith RDF-based semantics of OWL 2
hasSubsetOf OWL 2 DL constructs
hasTargetEnvironment logic programming systems
relational database systems
rule engines
hasTradeoff reduced expressivity for better scalability
hasUseCase data integration
large-scale knowledge bases
linked data reasoning
semantic web applications
introducedIn OWL 2 Web Ontology Language
surface form: OWL 2 specification
optimizedFor RDF triple stores
database-style implementations
materialization-based reasoning
partOf OWL 2 Web Ontology Language
surface form: OWL 2
publishedBy World Wide Web Consortium
restricts OWL 2 constructors
use of cardinality constraints
use of complex class expressions
use of existential quantification
standardizedBy World Wide Web Consortium
surface form: W3C
supports RDFS-like reasoning plus selected OWL features
rule-based implementation via Datalog-like rules

How these facts were elicited

Referenced by (5)

Full triples — surface form annotated when it differs from this entity's canonical label.

OWL Full contrastsWith OWL 2 RL
OWL 2 QL contrastedWith OWL 2 RL
OWL 2 recommendation defines OWL 2 RL
OWL 2 RL definedIn OWL 2 RL self-linksurface differs
this entity surface form: OWL 2 Profiles specification
OWL 2 EL contrastedWith OWL 2 RL