As its title promises, this book provides foundations for software specification and formal
software development from the perspective of work on algebraic specification. It …

This paper describes a technique for quantifying the degree of speech deficits in probable
dementia of Alzheimer's type (DAT). The technique involves interviewing individuals with …

This paper addresses questions of universality related to ontological engineering, namely
aims at substantiating (negative) answers to the following three basic questions:(i) Is there a …

Form, function and the relationship between the two serve a crucial role in design. Within
architectural design, key aspects of the anticipated function of buildings, or of spatial …

Abstract The Distributed Ontology Language DOL, which is currently being standardised as
ISO WD 17347 within the OntoIOp (Ontology Integration and Interoperability) activity of …

The Distributed Ontology, Model and Specification Language – DOL | SpringerLink Skip to
main content Advertisement SpringerLink Account Menu Find a journal Publish with us …

We address what is still a scarcity of general mathematical foundations for ontology-based
semantic integration underlying current knowledge engineering methodologies in …

We present an overview of the landscape of ontology languages, mostly pertaining to the
first-order paradigm. In particular, we present a uniform formalisation of these languages …

With the Web 2.0, the user is become an active part of the global network, by interacting with
other people through social networks, blogs, etc. and posting his own comments. The …

Logic and Ontology are regarded as twins in Philosophy due to their origins, yet separated
by their motivations and approaches. Applied Ontology is a branch of Ontology which …