I have a rule like if x is type of Student and student rdfs:subclass of Human, then x is type of Human
What is the full URI of rdfs subclassOf to write in rules like we write http://www.w3.org/1999/02/22-rdf-syntax-ns#type for rdf:type?
I have a rule like if x is type of Student and student rdfs:subclass of Human, then x is type of Human
What is the full URI of rdfs subclassOf to write in rules like we write http://www.w3.org/1999/02/22-rdf-syntax-ns#type for rdf:type?