Skip to content

Remove duplicate subclassing of gist:OrderedCollection in definition of gist:GeoRoute #361

@rjyounes

Description

@rjyounes

Current definition:

gist:GeoRoute
	a owl:Class ;
	rdfs:subClassOf
		gist:OrderedCollection ,   # THIS IS REDUNDANT
		gist:Place
		;
	rdfs:label "Geo Route"^^xsd:string ;
	rdfs:comment "An ordered set of GeoPoints that defines a path from starting point to ending point."^^xsd:string ;
	owl:equivalentClass [
		a owl:Class ;
		owl:intersectionOf (
			gist:OrderedCollection
			[
				a owl:Restriction ;
				owl:onProperty gist:hasDirectPart ;
				owl:someValuesFrom gist:GeoSegment ;
			]
		) ;
	] ;
	.

Fixed version - will remove the subclass statement altogether and move the subclassing of gist:Place into the equivalence assertion.

gist:GeoRoute
	a owl:Class ;
	rdfs:label "Geo Route"^^xsd:string ;
	rdfs:comment "An ordered set of GeoPoints that defines a path from starting point to ending point."^^xsd:string ;
	owl:equivalentClass [
		a owl:Class ;
		owl:intersectionOf (
			gist:OrderedCollection
                          gist:Place 
			[
				a owl:Restriction ;
				owl:onProperty gist:hasDirectPart ;
				owl:someValuesFrom gist:GeoSegment ;
			]
		) ;
	] ;
	.

Metadata

Metadata

Assignees

Labels

impact: patchNo new functionality or changes in human-readable semantics (e.g,. fixing a typo in an annotation)

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions