| F-OWL: An OWL Inference Engine in Flora-2 Department of Computer Science & Electrical Engineering, UMBC |
||||
|
Case 1: Individuals of owl:Class and rdfs:Class | |||
|
To determine the type of classes an individual belongs to, we can use the ISA query of the Flora-2 language. In our example ontology, to determine if the class Person belongs to owl:Class and rdfs:Class, the following query can be used: animals_Person : owl_Class. animals_Person : rdfs_Class. It is also possible to query the knowledge base for all class types that a given individual belongs to, for example, animals_Person : X.
|
||||
|
||||