Foundational ontologies meet ontology matching: A survey von Trojahn, Cassia, Vieira, Renata, Schmidt, Daniela, Pease, Adam, Guizzardi, Giancarlo

Volltext

Choosing a Logic to Represent the Semantics of Natural Language von Pease, Adam

Volltext

RT Delphi: An efficient, “round-less” almost real time Delphi method von Gordon, Theodore, Pease, Adam

Volltext

A Programmer's Text Editor for a Logical Theory: The SUMOjEdit Editor (System Description) von Pease, Adam

Volltext

Reasoning from imperfect knowledge von Reed, Stephen K., Pease, Adam

Volltext

Converting the Suggested Upper Merged Ontology to Typed First-order Form von Pease, Adam

Volltext bestellen

Higher-order aspects and context in SUMO von Benzmüller, Christoph, Pease, Adam

Volltext

A framework for constructing cognition ontologies using WordNet, FrameNet, and SUMO von Reed, Stephen K., Pease, Adam

Volltext

Sigma: An integrated development environment for formal ontology von Pease, Adam, Benzmüller, Christoph

Volltext

Converting the Suggested Upper Merged Ontology to Typed First-order Form von Pease, Adam

Volltext

Detecting Inconsistencies in Large First-Order Knowledge Bases von Schulz, Stephan, Sutcliffe, Geoff, Urban, Josef, Pease, Adam

Volltext

Knowledge Engineering for Large Ontologies with Sigma KEE 3.0 von Pease, Adam, Schulz, Stephan

Volltext

Large theory reasoning with SUMO at CASC von Pease, Adam, Sutcliffe, Geoff, Siegel, Nick, Trac, Steven

Volltext

Translating SUMO-K to Higher-Order Set Theory von Brown, Chad, Pease, Adam, Urban, Josef

Volltext bestellen

IEEE standard upper ontology: a progress report von PEASE, ADAM, NILES, IAN

Volltext

Teaching Automated Theorem Proving by Example: PyRes 1.2: System Description von Schulz, Stephan, Pease, Adam

Volltext

Translating SUMO-K to Higher-Order Set Theory von Brown, Chad, Pease, Adam, Urban, Josef

Volltext

The DARPA High‐Performance Knowledge Bases Project von Cohen, Paul, Schrag, Robert, Jones, Eric, Pease, Adam, Lin, Albert, Starr, Barbara, Gunning, David, Burke, Murray

Volltext

Agent-Mediated Knowledge Engineering Collaboration von Pease, Adam, Li, John

Volltext

Integrating YAGO into the Suggested Upper Merged Ontology von de Melo, Gerard, Suchanek, Fabian, Pease, Adam

Volltext