NinePts / OntoGraph

OWL ontology graphing program
30 stars 6 forks source link

Multiple domain or range entities mean "intersection" #8

Closed NinePts closed 6 years ago

NinePts commented 7 years ago

This should be drawn as an intersection. It is currently shown as 2+ edges with the same property name.

NinePts commented 6 years ago

Decided NOT to draw the property domains/ranges as an intersection (which really isn't true without reasoning), but will note that there are "multipleDomains" or "multipleRanges" if applicable for a property. This is done similar to "functional" or "transitive" properties.

But, did add ability to graph with reasoning to show the impact of defining a property with domains and ranges, and then defining individuals that are referenced using the property.