- The alternative (more realistic?) pattern:
- ℘Ω(ℛ(RDFS,OWL),Ω); where:
- ℛ(RDFS,OWL) is an off-the-shelf OWL reasoner
- Ω is an ontology based on RDFS+OWL
-
℘Ω
is an extra application layer
- it (may) use a general reasoner
- it “knows” about Ω, and extends reasoning accordingly
- an application means:
- define metadata ℳΩ , based on Ω
- use ℘Ω to deduce facts, answer questions
- ℘Ω(ℛ(RDFS,OWL),Ω); where: