F-OWL: An OWL Inference Engine in Flora-2

Department of Computer Science & Electrical Engineering, UMBC



Back to Top

F-OWL Home

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.


Last updated: September 27, 2003 Web Master: Harry Chen
ebiquity | cogito | csee | umbc