26 citations · 43 across the 8 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.DL2011★ 1 cited
ATP and Presentation Service for Mizar Formalizations
Josef Urban, Piotr Rudnicki, Geoff Sutcliffe
This paper describes the Automated Reasoning for Mizar (MizAR) service, which integrates several automated reasoning, artificial intelligence, and presentation tools with Mizar and…
cs.AI2011
Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving
Michael Schneider, Geoff Sutcliffe
OWL 2 has been standardized by the World Wide Web Consortium (W3C) as a family of ontology languages for the Semantic Web. The most expressive of these languages is OWL 2 Full, but…