Official websites use .gov
A
.gov website belongs to an official
government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you've safely
connected to the .gov website. Share sensitive
information only on official, secure websites.
An example of the implemented semantic rules. The first rule is extracted from the RDF Model Theory and models the transitivity of the subClassOf relationship. The second rule is extracted from the OWL Model Theory and models the behavior of the inverse properties.
