Edit Tool: HermiT

You do not have permission to edit this page, for the following reason:

The action you have requested is limited to users in the group: Users.

Name *:		The full name of the tool, defaults to pagename
Logo:	Upload file
Field:		Primary scientific field of the event (additional ones can be added with '[[Category:some Scientific Field]]' to the article text
Type *:		one of Ontology, Dataset, API, Frontend, Backend or another subcategory of Category:Tool, add additional ones via category links
Homepage:
Status:
Programming language:		the primary language the code is written in (see Category:Programming language)
Version:		current version number, may also be "ongoing" for very agile projects
Release:		date when the given version of the tool was released, omit if not applicable
License:		the license type of the tool, look into Category:License to find existing licenses
Affiliation:		Some organisation maintaining this tool, if applicable
Maintainer:		Some person maintaining this tool, if applicable

[edit]

Download:
Sources:
Documentation:
Forum:

Tool description:

''Source:'' http://web.comlab.ox.ac.uk/people/Boris.Motik/HermiT/ [[Category:Description logics]] ---- HermiT is a theorem prover for [http://en.wikipedia.org/wiki/Description_logic description logics] (DLs) -- a family of knowledge representation formalisms with many uses. DLs have attracted considerable attention recently since provide a logical underpinning for the [http://en.wikipedia.org/wiki/Web_Ontology_Language Web Ontology Language] (OWL) -- the language for building ontologies in the Seamntic Web. ==Developers== * [[has developer::Boris Motik]] * [[has developer::Rob Shearer]] * [[has developer::Ian Horrocks]]

Summary:

This is a minor edit

Watch this page

Cancel

Edit Tool: HermiT

Navigation menu

Search