Formal Ontology and Principles and Prospects of Knowledge Organisation: An Axiomatic Approach Heinrich Herre Institut für Medizinische Informatik, Statistik und Epidemiologie Medizinische Fakultät, Universität Leipzig

Source URL: benking.de

• Ontology
• Information science
• Knowledge representation
• Technical communication
• Upper ontology
• General formal ontology
• Formal ontology
• Web Ontology Language
• Knowledge representation and reasoning
• Category of being
• Frame language
• Ontic

1 Introduction One of the most influential papers of Computer Science to appear during the late 1960’s undoubtedly was Tony’s “An Axiomatic Basis for Computer Programming” [1], introducing a special purpose logi

Source URL: www.olejohandahl.info

• Formal methods
• Monitor
• Hoare logic
• Invariant
• Loop invariant
• Flag semaphore
• Variable
• ALGOL 68
• Predicate transformer semantics

And the Winners Are... An Axiomatic Approach to Selection from a Set

Source URL: ftp.iza.org

• Z notation
• Axiom
• S
• Combination
• Foundations of mathematics
• Metric
• Axiom of infinity
• Peano axioms

Using Small Axiomatic Ontologies for Understanding Group Activities from Movement Sensor Data Torsten Hahmann, Silvia Nittel and Xueying Gu School of Computing and Information Science, University of Maine, Orono, ME, USA

Source URL: ncgia.buffalo.edu

• Ontology
• Knowledge representation
• Knowledge engineering
• Information science
• Technical communication
• Frame language
• Wireless sensor network
• Upper ontology
• Formal ontology

Using SMALL AXIOMATIC ONTOLOGIES for UNDERSTANDING GROUP ACTIVITIES

Source URL: www.ncgia.buffalo.edu

• Information science
• Knowledge representation
• Technical communication
• Ontology
• Semantic Web
• Upper ontology
• Nittel
• Sensor

Using Small Axiomatic Ontologies for Understanding Group Activities from Movement Sensor Data Torsten Hahmann, Silvia Nittel and Xueying Gu School of Computing and Information Science, University of Maine, Orono, ME, USA

Source URL: www.ncgia.buffalo.edu

• Ontology
• Knowledge representation
• Knowledge engineering
• Information science
• Technical communication
• Frame language
• Wireless sensor network
• Upper ontology
• Formal ontology

M PRA Munich Personal RePEc Archive The axiomatic foundation of logit and its relation to behavioral welfare Yves Breitmoser

Source URL: mpra.ub.uni-muenchen.de

An Axiomatic Characterization of Continuous-Outcome Market Makers Xi Alice Gao and Yiling Chen School or Engineering and Applied Sciences Harvard University Cambridge, MA 02138

Source URL: yiling.seas.harvard.edu

Overview History Homotopy Type theory Conclusions Constructive Axiomatic Method in Euclid, Hilbert

Source URL: philomatica.org

Upgrading the axiomatic system to n-dimensional space Milica Stojanovi´c University of Belgrade, Faculty of Organizational Sciences, Belgrade, SERBIA []

Source URL: tesla.pmf.ni.ac.rs