[Crm-sig] Erlangen CRM transitive properties

Vladimir Alexiev vladimir.alexiev at ontotext.com
Wed Mar 21 14:23:16 EET 2012

Given that P106_is_composed_of and P148_has_component (and their inverses)
are transitive,
shouldn't P9_consists_of and P46_is_composed_of (and their inverses) also be
Isn't this an inconsistency in ECRM?

Non-transitive variants are useful to analyze the immediate parts, 
and this can be obtained by asking an RDF repository to return explicit (not
inferred) facts.

More information about the Crm-sig mailing list