Skip to search formSkip to main contentSkip to account menu

Universics - a Common Formalization Framework for Brain Informatics and Semantic Web

This chapter is an introduction to a conceptual framewok and a mathematical apparatus, said to be Universics, designed to serve for integration of other disciplines via their universes of discourse…
View PDF (opens in a new tab)

Metalingua: A Language to Mediate Communication with Semantic Web in Natural Languages

Metalingua, described in this paper, is a counterpart of Notation3, which complies with “compositionality principle" and can mediate the communication between humans speaking natural languages and Semantic Web, and be used for formalization of natural languages, including languages considered “difficult”, like Chinese.
View via Publisher (opens in a new tab)

The Whole Brain Approach to the Web

  • Ioachim Drugus
  • Computer Science
    IEEE/WIC/ACM International Conferences on Web…
  • 2 November 2007
A new approach to data representation is introduced, which reflects the mechanism of mind based on the compartmentalization of brain into two hemispheres, and can help in clarification and development of semantics of the Semantic Web.
View on ACM (opens in a new tab)

Imbrication algebras - algebraic structures of nesting order

This paper initiates the research of aggregate algebras by narrowing the focus to one type of their main reducts – the reduct which deals with ordered pairs.
View Paper (opens in a new tab)

A Universal Algebraic Set Theory Built on Mereology with Applications

Category theory is often treated as an algebraic foundation for mathematics, and the widely known algebraization of ZF set theory in terms of this discipline is referenced as “categorical set theory”…
View on Springer (opens in a new tab)

Towards an Ontology of Individuals: Comments on "Identity, Ontology and Frege's Problem" of William Greenberg

View Paper (opens in a new tab)

Universics: a Theory of Universes of Discourse for Metamathematics and Foundations

The main results of this paper are an explication of the notion “foundational completeness”, and a generalization of well-founded-ness.
View Paper (opens in a new tab)

A Universal Algebraic Set Theory Built on Mereology with Applications

Category theory is often treated as an algebraic foundation for mathematics, and the widely known algebraization of ZF set theory in terms of this discipline is referenced as “categorical set theory”…
View on Springer (opens in a new tab)
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)