Mephisto I towards a formal theory

Authors:
D. A. Lambert;C. Nowak
Affiliations:
Defence Science and Technology Organisation, Edinburgh SA, Australia;Defence Science and Technology Organisation, Edinburgh SA, Australia
Venue:
AOW '06 Proceedings of the second Australasian workshop on Advances in ontologies - Volume 72
Year:
2006

Citing 5
Cited 1

Parts, wholes, and part-whole relations: the prospects of mereotopology

Data & Knowledge Engineering - Special issue on modeling parts and wholes
Boolean connection algebras: a new approach to the Region-Connection Calculus

Artificial Intelligence
A note on proximity spaces and connection based mereology

Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
A proposal for an owl rules language

Proceedings of the 13th international conference on World Wide Web
Combining spatial and temporal logics: expressiveness vs. complexity

Journal of Artificial Intelligence Research

Layered Random Inference Networks

ACAL '09 Proceedings of the 4th Australian Conference on Artificial Life: Borrowing from Biology

Quantified Score

Hi-index	0.01

Visualization

Abstract

Mephisto is a framework that will enable ontology-based high-level information fusion. Within the framework, the name Mephisto can be used to refer to a conceptualisation, an ontology, an agent, a society, a formal theory, and an implementation. A Mephisto conceptualisation assumes that the world can be understood in terms of processes. A Mephisto ontology is a specification of the conceptualisation. A Mephisto agent employs the ontology. A Mephisto theory is a formal theory of processes. A Mephisto implementation implements the theory. A Mephisto theory plays a crucial role within the framework.