Top Engine Code

57 lines (39 with data), 1.7 kB

############################################################################
# owl-test-case-07.trd
#
# test owl:hasValue with Transitive Property
############################################################################


############################################################################
# include section
#
# Include the owl reasoner model.
############################################################################
*include-file* "top/owl-reasoner.trd"

############################################################################
# schema section
#
############################################################################
*schema-begin*


*schema-end*
############################################################################


############################################################################
# test case data section
#
############################################################################
*assert-triples-begin*


	assert_triple(A, rdfs:subClassOf, owl:Thing)
	assert_triple(B, rdfs:subClassOf, owl:Thing)
	assert_triple(C, rdfs:subClassOf, owl:Thing)

	assert_triple(A, rdf:type, owl:Class)
	assert_triple(B, rdf:type, owl:Class)
	assert_triple(C, rdf:type, owl:Class)
	assert_triple(D, rdf:type, owl:Class)
	assert_triple(A^B^C, rdf:type, owl:Class)

	assert_triple(D, rdfs:subClassOf, A)
	assert_triple(D, rdfs:subClassOf, B)

	assert_triple(A^B^C, owl:intersectionOf, A)
	assert_triple(A^B^C, owl:intersectionOf, B)
	assert_triple(A^B^C, owl:intersectionOf, C)

	expected_result(A, rdfs:subClassOf, owl:Thing)



*assert-triples-end*
############################################################################