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

Department of Computer Science & Electrical Engineering, UMBC



Back to Top

F-OWL Home

Case 3: Unnamed classes that are type of owl:Restriction

In F-OWL, unnamed classes are treated the same as any named classes when infering their subclass relationships. In other words, to determine if an individual belongs to any unnamed classes, the same Flora-2 subclass query applies.

In our example ontology, the following subclass query will return all classes that an individual animals_John belongs to:

animals_John : C.

To find only unamed classes (that are type of owl:Restriction class), the following query can be used:

animals_John : C, C: owl_Restriction.

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