Jump To:

Validation Results

Your RDF document validated successfully.


Triples of the Data Model

NumberSubjectPredicateObject
1 http://suavo.org/2006/10/owlmet-usage-example#A http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://suavo.org/2006/10/owlmet#TClass
2 genid:A31383 http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://suavo.org/2006/10/owlmet#TClass
3 http://suavo.org/2006/10/owlmet-usage-example#A http://suavo.org/2006/10/owlmet#equivalentClass genid:A31383
4 genid:A31384 http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://suavo.org/2006/10/owlmet#TRestriction
5 genid:A31383 http://www.w3.org/2002/07/owl#unionOf genid:A31385
6 genid:A31385 http://www.w3.org/1999/02/22-rdf-syntax-ns#first genid:A31384
7 genid:A31384 http://suavo.org/2006/10/owlmet#at http://suavo.org/2006/10/owlmet-usage-example#t_1
8 genid:A31386 http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://suavo.org/2006/10/owlmet#TClass
9 genid:A31384 http://suavo.org/2006/10/owlmet#equivalentClass genid:A31386
10 http://suavo.org/2006/10/owlmet-usage-example#C http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://suavo.org/2006/10/owlmet#TClass
11 genid:A31386 http://www.w3.org/2002/07/owl#intersectionOf genid:A31387
12 genid:A31387 http://www.w3.org/1999/02/22-rdf-syntax-ns#first http://suavo.org/2006/10/owlmet-usage-example#C
13 genid:A31388 http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://suavo.org/2006/10/owlmet#TRestriction
14 genid:A31387 http://www.w3.org/1999/02/22-rdf-syntax-ns#rest genid:A31389
15 genid:A31389 http://www.w3.org/1999/02/22-rdf-syntax-ns#first genid:A31388
16 genid:A31388 http://suavo.org/2006/10/owlmet#future "5"^^http://www.w3.org/2001/XMLSchema#NonNegativeInteger
17 http://suavo.org/2006/10/owlmet-usage-example#B http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://suavo.org/2006/10/owlmet#TClass
18 genid:A31388 http://suavo.org/2006/10/owlmet#equivalentClass http://suavo.org/2006/10/owlmet-usage-example#B
19 genid:A31389 http://www.w3.org/1999/02/22-rdf-syntax-ns#rest http://www.w3.org/1999/02/22-rdf-syntax-ns#nil
20 genid:A31390 http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://suavo.org/2006/10/owlmet#TRestriction
21 genid:A31385 http://www.w3.org/1999/02/22-rdf-syntax-ns#rest genid:A31391
22 genid:A31391 http://www.w3.org/1999/02/22-rdf-syntax-ns#first genid:A31390
23 genid:A31390 http://suavo.org/2006/10/owlmet#at http://suavo.org/2006/10/owlmet-usage-example#t_2
24 http://suavo.org/2006/10/owlmet-usage-example#D http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://suavo.org/2006/10/owlmet#TClass
25 genid:A31390 http://suavo.org/2006/10/owlmet#equivalentClass http://suavo.org/2006/10/owlmet-usage-example#D
26 genid:A31391 http://www.w3.org/1999/02/22-rdf-syntax-ns#rest http://www.w3.org/1999/02/22-rdf-syntax-ns#nil

The original RDF/XML document

1: <?xml version="1.0" ?> 
2: <rdf:RDF xmlns="http://suavo.org/2006/10/owlmet-usage-example#" 
3: xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" 
4: xmlns:owlmet="http://suavo.org/2006/10/owlmet#" 
5: xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" 
6: xmlns:owl="http://www.w3.org/2002/07/owl#" 
7: xmlns:dc="http://purl.org/dc/elements/1.1/" 
8: xml:base="http://suavo.org/2006/10/owlmet-usage-example">
9: 
10: <owlmet:TClass rdf:ID="A">
11: 	<owlmet:equivalentClass>
12: 	  <owlmet:TClass>
13: 		<owl:unionOf rdf:parseType="Collection">
14: 			<owlmet:TRestriction>
15: 				<owlmet:at rdf:resource="#t_1"/>
16: 				<owlmet:equivalentClass>
17: 					<owlmet:TClass>
18: 						<owl:intersectionOf rdf:parseType="Collection">
19: 							<owlmet:TClass rdf:about="#C"/>
20: 							<owlmet:TRestriction>
21: 								<owlmet:future rdf:datatype="http://www.w3.org/2001/XMLSchema#NonNegativeInteger">5</owlmet:future>
22: 								<owlmet:equivalentClass>
23: 									<owlmet:TClass rdf:about="#B"/>
24: 								</owlmet:equivalentClass>
25: 							</owlmet:TRestriction>
26: 						</owl:intersectionOf>
27: 					</owlmet:TClass>
28: 				</owlmet:equivalentClass>
29: 			</owlmet:TRestriction>
30: 			<owlmet:TRestriction>
31: 				<owlmet:at rdf:resource="#t_2"/>
32: 				<owlmet:equivalentClass>
33: 					<owlmet:TClass rdf:about="#D"/>
34: 				</owlmet:equivalentClass>
35: 			</owlmet:TRestriction>
36: 		</owl:unionOf>
37: 	  </owlmet:TClass>	
38: 	</owlmet:equivalentClass>
39: </owlmet:TClass>
40: 
41: </rdf:RDF>

Graph of the data model

graph representation of RDF data

Feedback

If you suspect the parser is in error, please enter an explanation below and then press the Submit problem report button, to mail the report (and listing) to www-rdf-validator@w3.org