owlcollab / owlcollab/owltools
Oort: bad smell check: inferred A SubClassOf B when there is an asserted A SubClassOf R some B
Nobody has claimed this yet.
- Dominant language
- Java
- Stars
- 115
- Forks
- 34
- PR merge metrics
- No merged PRs in 30d
Description
From cmung...@gmail.com on May 15, 2013 09:30:22
WHERE
ASSERTED A SubClassOf R some B
and
INFERRED A SubClassOf B
Either issue a warning, or add extra info the the "NEW INFERRED" line in the reasoner report
E.g.
NEW INFERRED A SubClassOf B [warning: A SubClassOf R some B asserted]
Original issue: http://code.google.com/p/owltools/issues/detail?id=62
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by locating the OWLTools reasoner report code that emits the "NEW INFERRED" line. Reproduce the stated pattern with an asserted A SubClassOf R some B and inferred A SubClassOf B, then determine whether the report should warn or include the asserted restriction; done means the report clearly flags this case.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- java
- Domain
- tooling
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 25/100