The release manager should be able to specify a set of properties to be
excluded or included in the basic release.
This could be as a list or IRIs; or the properties may be defined in a subset,
such that only the subset ID need be specified.
The property hierarchy should be used in the filtered version. i.e. if R1
SubPropertyOf R2, and R1 is excluded, and the ontology contains X SubClassOf R1
some Y, then the subset should contain X SubClassOf R2 some Y.
Note however that equivalence axioms cannot be weakened in this way.
Original issue reported on code.google.com by cmung...@gmail.com on 2 May 2012 at 9:05
Original issue reported on code.google.com by
cmung...@gmail.com
on 2 May 2012 at 9:05