Search by property

From Protege Wiki
Jump to: navigation, search

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

Search by property

A list of all pages that have property "Description" with value "HermiT is a reasoner for ontologies written using the Web Ontology Language (OWL). Given an OWL file, HermiT can determine whether or not the ontology is consistent, identify subsumption relationships between classes, and much more.". Since there have been only a few results, also nearby values are displayed.

Showing below up to 2 results starting with #1.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

    

List of results

    • HermiT  + (HermiT is a reasoner for ontologies written using the Web Ontology Language (OWL). Given an OWL file, HermiT can determine whether or not the ontology is consistent, identify subsumption relationships between classes, and much more.)
    Retrieved from "https://protegewiki.stanford.edu/wiki/Special:SearchByProperty/:Description/HermiT-20is-20a-20reasoner-20for-20ontologies-20written-20using-20the-20Web-20Ontology-20Language-20(OWL).-20Given-20an-20OWL-20file,-20HermiT-20can-20determine-20whether-20or-20not-20the-20ontology-20is-20consistent,-20identify-20subsumption-20relationships-20between-20classes,-20and-20much-20more."