ex-triangle.ttl

@prefix ex: <http://example.org/ontology/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

ex:Point
	a owl:Class ;
	.

ex:PropertyShape-1
	a sh:PropertyShape ;
	sh:class ex:Point ;
	sh:maxCount "3"^^xsd:integer ;
	sh:minCount "3"^^xsd:integer ;
	sh:path ex:hasPoint ;
	.

ex:PropertyShape-2
	a sh:PropertyShape ;
	sh:class ex:Point ;
	sh:maxCount "2"^^xsd:integer ;
	sh:minCount "2"^^xsd:integer ;
	sh:path ex:hasPoint ;
	.

ex:Triangle
	a
		owl:Class ,
		sh:NodeShape
		;
	sh:property ex:PropertyShape-1 ;
	sh:targetClass ex:Triangle ;
	.

ex:Triangle-but-1-dimensional
	a
		owl:Class ,
		sh:NodeShape
		;
	rdfs:subClassOf ex:Triangle ;
	sh:property ex:PropertyShape-2 ;
	sh:targetClass ex:Triangle-but-1-dimensional ;
	.

ex:hasPoint
	a owl:ObjectProperty ;
	rdfs:domain ex:Triangle ;
	rdfs:range ex:Point ;
	.