rdf-do | DataObjects-backed repositories for RDF.rb | Data Manipulation library
kandi X-RAY | rdf-do Summary
kandi X-RAY | rdf-do Summary
DataObjects-backed repositories for RDF.rb
Support
Quality
Security
License
Reuse
Top functions reviewed by kandi - BETA
Currently covering the most popular Java, JavaScript and Python libraries. See a Sample of rdf-do
rdf-do Key Features
rdf-do Examples and Code Snippets
Community Discussions
Trending Discussions on rdf-do
QUESTION
My main goal with Protege an ontology building at present is consistency checking. To that end I'm starting with small tests.
In this case I want to insist that any "instance" of a class with a certain property necessarily has another property.
Following this thread from a long time ago I wrote the following GCI:
expression and (structureType value structureItem) SubClassOf hasAuthor min 1 person
By this I mean to state that: any class that is an expression
that has the property structureType
whose value is structureItem
must have or necessarily has at least one property hasAuthor
But when I run the reasoner in Protege with such an expression
WITHOUT a hasAuthor
property I don't get any error.
Is there something wrong with my rule or am I expecting something from the reasoner that it is not designed to do.
...ANSWER
Answered 2020-Apr-13 at 11:35But when I run the reasoner in Protege with such an
expression
without ahasAuthor property
I don't get any error.
The problem is OWA (Open World Assumption). You should state explicitly:
Community Discussions, Code Snippets contain sources that include Stack Exchange Network
Vulnerabilities
No vulnerabilities reported
Install rdf-do
Support
Reuse Trending Solutions
Find, review, and download reusable Libraries, Code Snippets, Cloud APIs from over 650 million Knowledge Items
Find more librariesStay Updated
Subscribe to our newsletter for trending solutions and developer bootcamps
Share this Page