|  An example based on ''Using Inference Rules'' at http://www.interprise.com
|
|  Answers use shorthand tags, which are expanded to URIs when one asks for an explanation
|
|  20031128 (Since then,interprise.com seems to have been absorbed by Quest)
|
|  internet.business.logic@gmail.com



some-subject is related by rdf:type to some-subclass
that-subclass is related by rdfs:subClassOf to some-object
rdf:type can be expanded to some-URI1:name1
rdfs:subClassOf can be expanded to some-URI2:name2
ns is shorthand for this-URI
----------------------------------------------------------
that-subject is related by rdf:type to that-object


some-tag:name is under consideration
some-tag followed by some-name separated by a symbol : = that-tag:name
that-tag is shorthand for some-URI
that-URI followed by that-name separated by a symbol : = some-URI:name
----------------------------------------------------------------------------
that-tag:name can be expanded to that-URI:name


some-item is related by some-predicate to some-object
---------------------------------------------------------
that-item is under consideration


some-subject is related by some-item to some-object
---------------------------------------------------------
that-item is under consideration


some-subject is related by some-predicate to some-item
---------------------------------------------------------
that-item is under consideration


this-subject is related by this-predicate to this-object
==========================================================
ns:_0123456789             rdf:type          ns:Car
ns:Car                     rdfs:subClassOf   ns:LandVehicle
ns:LandVehicle             rdfs:subClassOf   ns:Vehicle


this-namespace is shorthand for this-URI
=======================================================
rdf     http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs    http://www.w3.org/2000/01/rdf-schema#
ns      http://www.reengineeringllc.com/namespaces/ns#