26 citations · 26 across the 2 of their papers we have counts for
2 papers
cs.AI2012
Modeling in OWL 2 without Restrictions
Michael Schneider, Sebastian Rudolph, Geoff Sutcliffe
The Semantic Web ontology language OWL 2 DL comes with a variety of language features that enable sophisticated and practically useful modeling. However, the use of these features…
cs.AI2010★ 26 cited
Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar
Josef Urban, Geoff Sutcliffe
This paper presents a combination of several automated reasoning and proof presentation tools with the Mizar system for formalization of mathematics. The combination forms an onlin…