Did you know ... Search Documentation:
Pack sparqlprog -- prolog/sparqlprog/ontologies/owl.pl
PublicShow source
 owl:allDifferent(_13062)
Any instance of http://www.w3.org/2002/07/owl#AllDifferent
 owl:annotationProperty(_13062)
Any instance of http://www.w3.org/2002/07/owl#AnnotationProperty
 owl:class(_13062)
Any instance of http://www.w3.org/2002/07/owl#Class
 owl:dataRange(_13062)
Any instance of http://www.w3.org/2002/07/owl#DataRange
 owl:datatypeProperty(_13062)
Any instance of http://www.w3.org/2002/07/owl#DatatypeProperty
 owl:deprecatedClass(_13062)
Any instance of http://www.w3.org/2002/07/owl#DeprecatedClass
 owl:deprecatedProperty(_13062)
Any instance of http://www.w3.org/2002/07/owl#DeprecatedProperty
 owl:functionalProperty(_13062)
Any instance of http://www.w3.org/2002/07/owl#FunctionalProperty
 owl:inverseFunctionalProperty(_13062)
Any instance of http://www.w3.org/2002/07/owl#InverseFunctionalProperty
 owl:namedIndividual(_13062)
Any instance of http://www.w3.org/2002/07/owl#NamedIndividual
 owl:nothing(_13062)
Any instance of http://www.w3.org/2002/07/owl#Nothing
 owl:objectProperty(_13062)
Any instance of http://www.w3.org/2002/07/owl#ObjectProperty
 owl:ontology(_13062)
Any instance of http://www.w3.org/2002/07/owl#Ontology
 owl:ontologyProperty(_13062)
Any instance of http://www.w3.org/2002/07/owl#OntologyProperty
 owl:restriction(_13062)
Any instance of http://www.w3.org/2002/07/owl#Restriction
 owl:symmetricProperty(_13062)
Any instance of http://www.w3.org/2002/07/owl#SymmetricProperty
 owl:thing(_13062)
Any instance of http://www.w3.org/2002/07/owl#Thing
 owl:transitiveProperty(_13062)
Any instance of http://www.w3.org/2002/07/owl#TransitiveProperty

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 first(Arg1, Arg2)
 object(Arg1, Arg2)
 predicate(Arg1, Arg2)
 rest(Arg1, Arg2)
 subject(Arg1, Arg2)
 type(Arg1, Arg2)
 value(Arg1, Arg2)
 comment(Arg1, Arg2)
 domain(Arg1, Arg2)
 isDefinedBy(Arg1, Arg2)
 label(Arg1, Arg2)
 member_triple(Arg1, Arg2)
 range(Arg1, Arg2)
 seeAlso(Arg1, Arg2)
 subClassOf(Arg1, Arg2)
 subPropertyOf(Arg1, Arg2)
 allValuesFrom(Arg1, Arg2)
 backwardCompatibleWitesh(Arg1, Arg2)
 cardinality(Arg1, Arg2)
 complementOf(Arg1, Arg2)
 differentFrom(Arg1, Arg2)
 disjointWith(Arg1, Arg2)
 distinctMembers(Arg1, Arg2)
 equivalentClass(Arg1, Arg2)
 equivalentProperty(Arg1, Arg2)
 hasValue(Arg1, Arg2)
 imports(Arg1, Arg2)
 incompatibleWith(Arg1, Arg2)
 intersectionOf(Arg1, Arg2)
 inverseOf(Arg1, Arg2)
 maxCardinality(Arg1, Arg2)
 minCardinality(Arg1, Arg2)
 onProperty(Arg1, Arg2)
 oneOf(Arg1, Arg2)
 priorVersion(Arg1, Arg2)
 sameAs(Arg1, Arg2)
 sameIndividualAs(Arg1, Arg2)
 someValuesFrom(Arg1, Arg2)
 unionOf(Arg1, Arg2)
 versionInfo(Arg1, Arg2)
 first(Arg1, Arg2, Arg3)
 object(Arg1, Arg2, Arg3)
 predicate(Arg1, Arg2, Arg3)
 rest(Arg1, Arg2, Arg3)
 subject(Arg1, Arg2, Arg3)
 type(Arg1, Arg2, Arg3)
 value(Arg1, Arg2, Arg3)
 comment(Arg1, Arg2, Arg3)
 domain(Arg1, Arg2, Arg3)
 isDefinedBy(Arg1, Arg2, Arg3)
 label(Arg1, Arg2, Arg3)
 member_triple(Arg1, Arg2, Arg3)
 range(Arg1, Arg2, Arg3)
 seeAlso(Arg1, Arg2, Arg3)
 subClassOf(Arg1, Arg2, Arg3)
 subPropertyOf(Arg1, Arg2, Arg3)
 allValuesFrom(Arg1, Arg2, Arg3)
 backwardCompatibleWitesh(Arg1, Arg2, Arg3)
 cardinality(Arg1, Arg2, Arg3)
 complementOf(Arg1, Arg2, Arg3)
 differentFrom(Arg1, Arg2, Arg3)
 disjointWith(Arg1, Arg2, Arg3)
 distinctMembers(Arg1, Arg2, Arg3)
 equivalentClass(Arg1, Arg2, Arg3)
 equivalentProperty(Arg1, Arg2, Arg3)
 hasValue(Arg1, Arg2, Arg3)
 imports(Arg1, Arg2, Arg3)
 incompatibleWith(Arg1, Arg2, Arg3)
 intersectionOf(Arg1, Arg2, Arg3)
 inverseOf(Arg1, Arg2, Arg3)
 maxCardinality(Arg1, Arg2, Arg3)
 minCardinality(Arg1, Arg2, Arg3)
 onProperty(Arg1, Arg2, Arg3)
 oneOf(Arg1, Arg2, Arg3)
 priorVersion(Arg1, Arg2, Arg3)
 sameAs(Arg1, Arg2, Arg3)
 sameIndividualAs(Arg1, Arg2, Arg3)
 someValuesFrom(Arg1, Arg2, Arg3)
 unionOf(Arg1, Arg2, Arg3)
 versionInfo(Arg1, Arg2, Arg3)
 first_node(Arg1, Arg2, Arg3)
 object_node(Arg1, Arg2, Arg3)
 predicate_node(Arg1, Arg2, Arg3)
 rest_node(Arg1, Arg2, Arg3)
 subject_node(Arg1, Arg2, Arg3)
 type_node(Arg1, Arg2, Arg3)
 value_node(Arg1, Arg2, Arg3)
 comment_node(Arg1, Arg2, Arg3)
 domain_node(Arg1, Arg2, Arg3)
 isDefinedBy_node(Arg1, Arg2, Arg3)
 label_node(Arg1, Arg2, Arg3)
 member_triple_node(Arg1, Arg2, Arg3)
 range_node(Arg1, Arg2, Arg3)
 seeAlso_node(Arg1, Arg2, Arg3)
 subClassOf_node(Arg1, Arg2, Arg3)
 subPropertyOf_node(Arg1, Arg2, Arg3)
 allValuesFrom_node(Arg1, Arg2, Arg3)
 backwardCompatibleWitesh_node(Arg1, Arg2, Arg3)
 cardinality_node(Arg1, Arg2, Arg3)
 complementOf_node(Arg1, Arg2, Arg3)
 differentFrom_node(Arg1, Arg2, Arg3)
 disjointWith_node(Arg1, Arg2, Arg3)
 distinctMembers_node(Arg1, Arg2, Arg3)
 equivalentClass_node(Arg1, Arg2, Arg3)
 equivalentProperty_node(Arg1, Arg2, Arg3)
 hasValue_node(Arg1, Arg2, Arg3)
 imports_node(Arg1, Arg2, Arg3)
 incompatibleWith_node(Arg1, Arg2, Arg3)
 intersectionOf_node(Arg1, Arg2, Arg3)
 inverseOf_node(Arg1, Arg2, Arg3)
 maxCardinality_node(Arg1, Arg2, Arg3)
 minCardinality_node(Arg1, Arg2, Arg3)
 onProperty_node(Arg1, Arg2, Arg3)
 oneOf_node(Arg1, Arg2, Arg3)
 priorVersion_node(Arg1, Arg2, Arg3)
 sameAs_node(Arg1, Arg2, Arg3)
 sameIndividualAs_node(Arg1, Arg2, Arg3)
 someValuesFrom_node(Arg1, Arg2, Arg3)
 unionOf_node(Arg1, Arg2, Arg3)
 versionInfo_node(Arg1, Arg2, Arg3)
 first_node(Arg1, Arg2, Arg3, Arg4)
 object_node(Arg1, Arg2, Arg3, Arg4)
 predicate_node(Arg1, Arg2, Arg3, Arg4)
 rest_node(Arg1, Arg2, Arg3, Arg4)
 subject_node(Arg1, Arg2, Arg3, Arg4)
 type_node(Arg1, Arg2, Arg3, Arg4)
 value_node(Arg1, Arg2, Arg3, Arg4)
 comment_node(Arg1, Arg2, Arg3, Arg4)
 domain_node(Arg1, Arg2, Arg3, Arg4)
 isDefinedBy_node(Arg1, Arg2, Arg3, Arg4)
 label_node(Arg1, Arg2, Arg3, Arg4)
 member_triple_node(Arg1, Arg2, Arg3, Arg4)
 range_node(Arg1, Arg2, Arg3, Arg4)
 seeAlso_node(Arg1, Arg2, Arg3, Arg4)
 subClassOf_node(Arg1, Arg2, Arg3, Arg4)
 subPropertyOf_node(Arg1, Arg2, Arg3, Arg4)
 allValuesFrom_node(Arg1, Arg2, Arg3, Arg4)
 backwardCompatibleWitesh_node(Arg1, Arg2, Arg3, Arg4)
 cardinality_node(Arg1, Arg2, Arg3, Arg4)
 complementOf_node(Arg1, Arg2, Arg3, Arg4)
 differentFrom_node(Arg1, Arg2, Arg3, Arg4)
 disjointWith_node(Arg1, Arg2, Arg3, Arg4)
 distinctMembers_node(Arg1, Arg2, Arg3, Arg4)
 equivalentClass_node(Arg1, Arg2, Arg3, Arg4)
 equivalentProperty_node(Arg1, Arg2, Arg3, Arg4)
 hasValue_node(Arg1, Arg2, Arg3, Arg4)
 imports_node(Arg1, Arg2, Arg3, Arg4)
 incompatibleWith_node(Arg1, Arg2, Arg3, Arg4)
 intersectionOf_node(Arg1, Arg2, Arg3, Arg4)
 inverseOf_node(Arg1, Arg2, Arg3, Arg4)
 maxCardinality_node(Arg1, Arg2, Arg3, Arg4)
 minCardinality_node(Arg1, Arg2, Arg3, Arg4)
 onProperty_node(Arg1, Arg2, Arg3, Arg4)
 oneOf_node(Arg1, Arg2, Arg3, Arg4)
 priorVersion_node(Arg1, Arg2, Arg3, Arg4)
 sameAs_node(Arg1, Arg2, Arg3, Arg4)
 sameIndividualAs_node(Arg1, Arg2, Arg3, Arg4)
 someValuesFrom_node(Arg1, Arg2, Arg3, Arg4)
 unionOf_node(Arg1, Arg2, Arg3, Arg4)
 versionInfo_node(Arg1, Arg2, Arg3, Arg4)
 first_axiom(Arg1, Arg2, Arg3)
 object_axiom(Arg1, Arg2, Arg3)
 predicate_axiom(Arg1, Arg2, Arg3)
 rest_axiom(Arg1, Arg2, Arg3)
 subject_axiom(Arg1, Arg2, Arg3)
 type_axiom(Arg1, Arg2, Arg3)
 value_axiom(Arg1, Arg2, Arg3)
 comment_axiom(Arg1, Arg2, Arg3)
 domain_axiom(Arg1, Arg2, Arg3)
 isDefinedBy_axiom(Arg1, Arg2, Arg3)
 label_axiom(Arg1, Arg2, Arg3)
 member_triple_axiom(Arg1, Arg2, Arg3)
 range_axiom(Arg1, Arg2, Arg3)
 seeAlso_axiom(Arg1, Arg2, Arg3)
 subClassOf_axiom(Arg1, Arg2, Arg3)
 subPropertyOf_axiom(Arg1, Arg2, Arg3)
 allValuesFrom_axiom(Arg1, Arg2, Arg3)
 backwardCompatibleWitesh_axiom(Arg1, Arg2, Arg3)
 cardinality_axiom(Arg1, Arg2, Arg3)
 complementOf_axiom(Arg1, Arg2, Arg3)
 differentFrom_axiom(Arg1, Arg2, Arg3)
 disjointWith_axiom(Arg1, Arg2, Arg3)
 distinctMembers_axiom(Arg1, Arg2, Arg3)
 equivalentClass_axiom(Arg1, Arg2, Arg3)
 equivalentProperty_axiom(Arg1, Arg2, Arg3)
 hasValue_axiom(Arg1, Arg2, Arg3)
 imports_axiom(Arg1, Arg2, Arg3)
 incompatibleWith_axiom(Arg1, Arg2, Arg3)
 intersectionOf_axiom(Arg1, Arg2, Arg3)
 inverseOf_axiom(Arg1, Arg2, Arg3)
 maxCardinality_axiom(Arg1, Arg2, Arg3)
 minCardinality_axiom(Arg1, Arg2, Arg3)
 onProperty_axiom(Arg1, Arg2, Arg3)
 oneOf_axiom(Arg1, Arg2, Arg3)
 priorVersion_axiom(Arg1, Arg2, Arg3)
 sameAs_axiom(Arg1, Arg2, Arg3)
 sameIndividualAs_axiom(Arg1, Arg2, Arg3)
 someValuesFrom_axiom(Arg1, Arg2, Arg3)
 unionOf_axiom(Arg1, Arg2, Arg3)
 versionInfo_axiom(Arg1, Arg2, Arg3)
 first_axiom(Arg1, Arg2, Arg3, Arg4)
 object_axiom(Arg1, Arg2, Arg3, Arg4)
 predicate_axiom(Arg1, Arg2, Arg3, Arg4)
 rest_axiom(Arg1, Arg2, Arg3, Arg4)
 subject_axiom(Arg1, Arg2, Arg3, Arg4)
 type_axiom(Arg1, Arg2, Arg3, Arg4)
 value_axiom(Arg1, Arg2, Arg3, Arg4)
 comment_axiom(Arg1, Arg2, Arg3, Arg4)
 domain_axiom(Arg1, Arg2, Arg3, Arg4)
 isDefinedBy_axiom(Arg1, Arg2, Arg3, Arg4)
 label_axiom(Arg1, Arg2, Arg3, Arg4)
 member_triple_axiom(Arg1, Arg2, Arg3, Arg4)
 range_axiom(Arg1, Arg2, Arg3, Arg4)
 seeAlso_axiom(Arg1, Arg2, Arg3, Arg4)
 subClassOf_axiom(Arg1, Arg2, Arg3, Arg4)
 subPropertyOf_axiom(Arg1, Arg2, Arg3, Arg4)
 allValuesFrom_axiom(Arg1, Arg2, Arg3, Arg4)
 backwardCompatibleWitesh_axiom(Arg1, Arg2, Arg3, Arg4)
 cardinality_axiom(Arg1, Arg2, Arg3, Arg4)
 complementOf_axiom(Arg1, Arg2, Arg3, Arg4)
 differentFrom_axiom(Arg1, Arg2, Arg3, Arg4)
 disjointWith_axiom(Arg1, Arg2, Arg3, Arg4)
 distinctMembers_axiom(Arg1, Arg2, Arg3, Arg4)
 equivalentClass_axiom(Arg1, Arg2, Arg3, Arg4)
 equivalentProperty_axiom(Arg1, Arg2, Arg3, Arg4)
 hasValue_axiom(Arg1, Arg2, Arg3, Arg4)
 imports_axiom(Arg1, Arg2, Arg3, Arg4)
 incompatibleWith_axiom(Arg1, Arg2, Arg3, Arg4)
 intersectionOf_axiom(Arg1, Arg2, Arg3, Arg4)
 inverseOf_axiom(Arg1, Arg2, Arg3, Arg4)
 maxCardinality_axiom(Arg1, Arg2, Arg3, Arg4)
 minCardinality_axiom(Arg1, Arg2, Arg3, Arg4)
 onProperty_axiom(Arg1, Arg2, Arg3, Arg4)
 oneOf_axiom(Arg1, Arg2, Arg3, Arg4)
 priorVersion_axiom(Arg1, Arg2, Arg3, Arg4)
 sameAs_axiom(Arg1, Arg2, Arg3, Arg4)
 sameIndividualAs_axiom(Arg1, Arg2, Arg3, Arg4)
 someValuesFrom_axiom(Arg1, Arg2, Arg3, Arg4)
 unionOf_axiom(Arg1, Arg2, Arg3, Arg4)
 versionInfo_axiom(Arg1, Arg2, Arg3, Arg4)