reasoning_extendUnityWithHomotypicPart.sh
master

History Graph

	Commit			Author	Details	Committed
	e576bd9ccfb2			steinech	script output as n3 (default) and ttl (for fuseki)	Nov 26 2019
	6fe603023f8b			steinech	machineReasoning: extend a unity that has homotypic parts with the properties…	Nov 25 2019