full URI of rdfs sub class

[kumar rohit]

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?

[Simon Schäfer]

You can search for rdfs here: http://prefix.cc/

This leads to a document where rdfs:subClassOf is defined.

Post by kumar rohit
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?

[kumar rohit]

Thank you Simon,

Post by Simon Schäfer
You can search for rdfs here: http://prefix.cc/
This leads to a document where rdfs:subClassOf is defined.

Post by kumar rohit
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?

[Dave Reynolds]

It's also not necessary to write the URIs out in full, you can use
prefixes in rules. I believe rdf and rdfs are built in.

Dave

Post by kumar rohit
Thank you Simon,

Post by Simon Schäfer
You can search for rdfs here: http://prefix.cc/
This leads to a document where rdfs:subClassOf is defined.

Post by kumar rohit
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?