http://www.semanticweb.org/jiba/ontologies/2018/1/untitled-ontology-40#C
type: Class
equivalent class: Restriction
  on property: prop
  has value: 1

http://www.semanticweb.org/jiba/ontologies/2018/1/untitled-ontology-40#i
type: NamedIndividual
prop: 1