[ UHU Online Demo ] [ Learn more about UHU ] [ Download UHU ] [ People behind UHU ]

UHU - Web Ontology Reasoning with Horn Logics

Source Ontology URL

Terminological Reasoning

Reasoning Options Check satisfiability of class 1
Check whether class 1 subsumes class 2
Check whether class 1 and class 2 are equivalent
Check whether class 1 and class 2 are disjoint
Check whether individual is instance of class 1
Get extension of class 1
Get extension of property

Enter data

Class URI 1
Class URI 2
Individual URI
Property URI

Query Knowledge Base

Query
Copyright © 2002-2003 Raphael Volz, Daniel Oberle , Stefan Decker