16,494 research outputs found
Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure
Reasoning about exceptions in ontologies is nowadays one of the challenges
the description logics community is facing. The paper describes a preferential
approach for dealing with exceptions in Description Logics, based on the
rational closure. The rational closure has the merit of providing a simple and
efficient approach for reasoning with exceptions, but it does not allow
independent handling of the inheritance of different defeasible properties of
concepts. In this work we outline a possible solution to this problem by
introducing a variant of the lexicographical closure, that we call skeptical
closure, which requires to construct a single base. We develop a bi-preference
semantics semantics for defining a characterization of the skeptical closure
Evaluating Knowledge Representation and Reasoning Capabilites of Ontology Specification Languages
The interchange of ontologies across the World Wide Web (WWW) and the cooperation among heterogeneous agents placed on it is the main reason for the development of a new set of ontology specification languages, based on new web standards such as XML or RDF. These languages (SHOE, XOL, RDF, OIL, etc) aim to represent the knowledge contained in an ontology in a simple and human-readable way, as well as allow for the interchange of ontologies across the web. In this paper, we establish a common framework to compare the expressiveness of "traditional" ontology languages (Ontolingua, OKBC, OCML, FLogic, LOOM) and "web-based" ontology languages. As a result of this study, we conclude that different needs in KR and reasoning may exist in the building of an ontology-based application, and these needs must be evaluated in order to choose the most suitable ontology language(s)
Populous: A tool for populating ontology templates
We present Populous, a tool for gathering content with which to populate an
ontology. Domain experts need to add content, that is often repetitive in its
form, but without having to tackle the underlying ontological representation.
Populous presents users with a table based form in which columns are
constrained to take values from particular ontologies; the user can select a
concept from an ontology via its meaningful label to give a value for a given
entity attribute. Populated tables are mapped to patterns that can then be used
to automatically generate the ontology's content. Populous's contribution is in
the knowledge gathering stage of ontology development. It separates knowledge
gathering from the conceptualisation and also separates the user from the
standard ontology authoring environments. As a result, Populous can allow
knowledge to be gathered in a straight-forward manner that can then be used to
do mass production of ontology content.Comment: in Adrian Paschke, Albert Burger begin_of_the_skype_highlighting
end_of_the_skype_highlighting, Andrea Splendiani, M. Scott Marshall, Paolo
Romano: Proceedings of the 3rd International Workshop on Semantic Web
Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10,
201
A strengthening of rational closure in DLs: reasoning about multiple aspects
We propose a logical analysis of the concept of typicality, central in human
cognition (Rosch,1978). We start from a previously proposed extension of the
basic Description Logic ALC (a computationally tractable fragment of First
Order Logic, used to represent concept inclusions and ontologies) with a
typicality operator T that allows to consistently represent the attribution to
classes of individuals of properties with exceptions (as in the classic example
(i) typical birds fly, (ii) penguins are birds but (iii) typical penguins don't
fly). We then strengthen this extension in order to separately reason about the
typicality with respect to different aspects (e.g., flying, having nice
feather: in the previous example, penguins may not inherit the property of
flying, for which they are exceptional, but can nonetheless inherit other
properties, such as having nice feather)
In Silico Approaches and the Role of Ontologies in Aging Research
The 2013 Rostock Symposium on Systems Biology and Bioinformatics in Aging Research was again dedicated to dissecting the aging process using in silico means. A particular focus was on ontologies, as these are a key technology to systematically integrate heterogeneous information about the aging process. Related topics were databases and data integration. Other talks tackled modeling issues and applications, the latter including talks focussed on marker development and cellular stress as well as on diseases, in particular on diseases of kidney and skin
GO faster ChEBI with Reasonable Biochemistry
Chemical Entities of Biological Interest (ChEBI) is a database and ontology that represents biochemical knowledge about small molecules. Recent changes to the ontology have created new opportunities for automated reasoning with description logic, that have not previously been fully exploited in Chemistry. These changes open up the possibility of building an improved chemical semantic web, by making more use of necessary and sufficient conditions, allowing reasoning about chemical structure, highlighting ambiguous inconsistencies and improving alignment with the Gene Ontology (GO). This paper briefly discusses some of the problems with reasoning over the current version of ChEBI, to tackle these issues, and their potential solutions
An Analysis of Service Ontologies
Services are increasingly shaping the worldâs economic activity. Service provision and consumption have been profiting from advances in ICT, but the decentralization and heterogeneity of the involved service entities still pose engineering challenges. One of these challenges is to achieve semantic interoperability among these autonomous entities. Semantic web technology aims at addressing this challenge on a large scale, and has matured over the last years. This is evident from the various efforts reported in the literature in which service knowledge is represented in terms of ontologies developed either in individual research projects or in standardization bodies. This paper aims at analyzing the most relevant service ontologies available today for their suitability to cope with the service semantic interoperability challenge. We take the vision of the Internet of Services (IoS) as our motivation to identify the requirements for service ontologies. We adopt a formal approach to ontology design and evaluation in our analysis. We start by defining informal competency questions derived from a motivating scenario, and we identify relevant concepts and properties in service ontologies that match the formal ontological representation of these questions. We analyze the service ontologies with our concepts and questions, so that each ontology is positioned and evaluated according to its utility. The gaps we identify as the result of our analysis provide an indication of open challenges and future work
Philosophy of Blockchain Technology - Ontologies
About the necessity and usefulness of developing a philosophy specific to the blockchain technology, emphasizing on the ontological aspects. After an Introduction that highlights the main philosophical directions for this emerging technology, in Blockchain Technology I explain the way the blockchain works, discussing ontological development directions of this technology in Designing and Modeling. The next section is dedicated to the main application of blockchain technology, Bitcoin, with the social implications of this cryptocurrency. There follows a section of Philosophy in which I identify the blockchain technology with the concept of heterotopia developed by Michel Foucault and I interpret it in the light of the notational technology developed by Nelson Goodman as a notational system. In the Ontology section, I present two developmental paths that I consider important: Narrative Ontology, based on the idea of order and structure of history transmitted through Paul Ricoeur's narrative history, and the Enterprise Ontology system based on concepts and models of an enterprise, specific to the semantic web, and which I consider to be the most well developed and which will probably become the formal ontological system, at least in terms of the economic and legal aspects of blockchain technology. In Conclusions I am talking about the future directions of developing the blockchain technology philosophy in general as an explanatory and robust theory from a phenomenologically consistent point of view, which allows testability and ontologies in particular, arguing for the need of a global adoption of an ontological system for develop cross-cutting solutions and to make this technology profitable.
CONTENTS:
Abstract
Introducere
Tehnologia blockchain
- Proiectare
- Modele
Bitcoin
Filosofia
Ontologii
- Ontologii narative
- Ontologii de intreprindere
Concluzii
Note
Bibliografie
DOI: 10.13140/RG.2.2.24510.3360
A Stronger Theorem Against Macro-realism
Macro-realism is the position that certain "macroscopic" observables must
always possess definite values: e.g. the table is in some definite position,
even if we don't know what that is precisely. The traditional understanding is
that by assuming macro-realism one can derive the Leggett-Garg inequalities,
which constrain the possible statistics from certain experiments. Since quantum
experiments can violate the Leggett-Garg inequalities, this is taken to rule
out the possibility of macro-realism in a quantum universe. However, recent
analyses have exposed loopholes in the Leggett-Garg argument, which allow many
types of macro-realism to be compatible with quantum theory and hence violation
of the Leggett-Garg inequalities. This paper takes a different approach to
ruling out macro-realism and the result is a no-go theorem for macro-realism in
quantum theory that is stronger than the Leggett-Garg argument. This approach
uses the framework of ontological models: an elegant way to reason about
foundational issues in quantum theory which has successfully produced many
other recent results, such as the PBR theorem.Comment: Accepted journal version. 10 + 7 pages, 1 figur
- âŠ