English
Related papers

Related papers: An ontological analysis of risk in Basic Formal On…

200 papers

This paper describes a computational framework for a grammar architecture in which different linguistic domains such as morphology, syntax, and semantics are treated not as separate components but compositional domains. Word and phrase…

cmp-lg · Computer Science 2008-02-03 Cem Bozsahin , Elvan Gocmen

This paper introduces a set of terms that are intended to act as an interface between cyber ontologies (like a file system ontology or a data fusion ontology) and top- and mid-level ontologies, specifically Basic Formal Ontology and the…

Artificial Intelligence · Computer Science 2024-08-19 David Limbaugh , Mark Jensen , John Beverley

Attorneys and others have a strong interest in having a digital library with suitable services (e.g., summarizing, searching, and browsing) to help them work with large corpora of legal depositions. Their needs often involve understanding…

Computation and Language · Computer Science 2020-09-11 Saurabh Chakravarty , Satvik Chekuri , Maanav Mehrotra , Edward A. Fox

Reliability (survival analysis, to biostatisticians) is a key ingredient for mak- ing decisions that mitigate the risk of failure. The other key ingredient is utility. A decision theoretic framework harnesses the two, but to invoke this…

Methodology · Statistics 2009-07-24 Nozer D. Singpurwalla

Philosophers of science commonly connect ontology and science, stating that these disciplines maintain a two-way relationship: on the one hand, we can extract ontology from scientific theories; on the other hand, ontology provides the…

History and Philosophy of Physics · Physics 2025-04-24 Raoni Arroyo , Jonas R. Becker Arenhart

We present some modern theories on the structure of spacetime that can be classified as relational theories in the direction of Leibniz's ontology. In order to analyze the nature of spacetime we consider three levels of knowledge…

General Relativity and Quantum Cosmology · Physics 2007-12-12 Miguel Lorente

In order to optimize the usage of testing efforts and to assess risks of software-based systems, risk-based testing uses risk (re-)assessments to steer all phases in a test process. Several risk-based testing approaches have been proposed…

Software Engineering · Computer Science 2018-01-23 Michael Felderer , Juergen Grossmann , Ina Schieferdecker

In the materials design domain, much of the data from materials calculations are stored in different heterogeneous databases. Materials databases usually have different data models. Therefore, the users have to face the challenges to find…

Databases · Computer Science 2020-11-06 Huanyu Li , Rickard Armiento , Patrick Lambrix

We introduce judgemental theories and their calculi as a general framework to present and study deductive systems. As an exemplification of their expressivity, we approach dependent type theory and natural deduction as special kinds of…

Logic · Mathematics 2024-11-04 Greta Coraglia , Ivan Di Liberti

A major disagreement between different views about the foundations of quantum mechanics concerns whether for a theory to be intelligible as a fundamental physical theory it must involve a "primitive ontology" (PO), i.e., variables…

Quantum Physics · Physics 2014-05-19 Valia Allori , Sheldon Goldstein , Roderich Tumulka , Nino Zanghi

Semantic role theory considers roles as a small universal set of unanalyzed entities. It means that formally there are no restrictions on role combinations. We argue that the semantic roles co-occur in verb representations. It means that…

Computation and Language · Computer Science 2018-10-10 Aliaksandr Huminski , Hao Zhang , Gangeshwar Krishnamurthy

Ontology Learning (OL) is the computational task of generating a knowledge base in the form of an ontology given an unstructured corpus whose content is in natural language (NL). Several works can be found in this area most of which are…

Computation and Language · Computer Science 2016-03-09 Sourish Dasgupta , Ankur Padia , Kushal Shah , Prasenjit Majumder

Modern society heavily relies on strongly connected, socio-technical systems. As a result, distinct risks threatening the operation of individual systems can no longer be treated in isolation. Consequently, risk experts are actively seeking…

Risk Management · Quantitative Finance 2018-02-07 Christos Ellinas , Neil Allan , Caroline Coombe

We introduce A-ranked preferential structures and combine them with an accessibility relation. This framework allows us to formalize contrary to duty obligations. Representation results are proved.

Logic · Mathematics 2008-08-25 Dov Gabbay , Karl Schlechta

Formal Concept Analysis (FCA) is a mathematical theory based on the formalization of the notions of concept and concept hierarchies. It has been successfully applied to several Computer Science fields such as data mining,software…

Artificial Intelligence · Computer Science 2009-05-29 Leonard Kwuida , Rokia Missaoui , Lahcen Boumedjout , Jean Vaillancourt

Every business needs knowledge about their competitors to survive better. One of the information repositories is web. Retrieving Specific information from the web is challenging. An Ontological model is developed to capture specific…

Information Retrieval · Computer Science 2011-09-07 A. Martin , D. Maladhy , V. Prasanna Venkatesan

This paper discusses the use of `ontologies' in Natural Language Processing. It classifies various kinds of ontologies that have been employed in NLP and discusses various benefits and problems with those designs. Particular focus is then…

cmp-lg · Computer Science 2008-02-03 John A. Bateman

An ontology is a formal representation of domain knowledge, which can be interpreted by machines. In recent years, ontologies have become a major tool for domain knowledge representation and a core component of many knowledge management…

Artificial Intelligence · Computer Science 2019-06-27 Anat Goldstein , Lior Fink , Gilad Ravid

Description logics are a powerful tool for describing ontological knowledge bases. That is, they give a factual account of the world in terms of individuals, concepts and relations. In the presence of uncertainty, such factual accounts are…

Artificial Intelligence · Computer Science 2021-08-31 Tim French , Tom Smoker

In this paper we explore the functional correlation approach to operational risk. We consider networks with heterogeneous a-priori conditional and unconditional failure probability. In the limit of sparse connectivity, self-consistent…

Physics and Society · Physics 2009-11-13 Kartik Anand , Reimer Kühn
‹ Prev 1 8 9 10 Next ›