5,766 Hits in 5.4 sec

Acquisition of Terminological Knowledge in Probabilistic Description Logic [chapter]

Francesco Kriegel
2018 Lecture Notes in Computer Science  
For a probabilistic extension of the description logic EL ⊥ , we consider the task of automatic acquisition of terminological knowledge from a given probabilistic interpretation.  ...  The goal is to derive so-called concept inclusions which are expressible in the considered probabilistic description logic and which hold true in the given probabilistic interpretation.  ...  Acknowledgements The author gratefully thanks Franz Baader for drawing attention to the issue in [6] , and furthermore thanks the anonymous reviewers for their constructive hints and helpful remarks.  ... 
doi:10.1007/978-3-030-00111-7_5 fatcat:xo4znwvurncgpdxrmikibw4i3q

An Algorithm for Learning with Probabilistic Description Logics

José Eduardo Ochoa Luna, Fábio Gagliardi Cozman
2009 International Semantic Web Conference  
Probabilistic Description Logics are the basis of ontologies in the Semantic Web.  ...  Knowledge representation and reasoning for these logics have been extensively explored in the last years; less attention has been paid to techniques that learn ontologies from data.  ...  Probabilistic Description Logics are closely related to Probabilistic Logics that have been extensively researched in the last decades [6, 7] .  ... 
dblp:conf/semweb/LunaC09 fatcat:ytkmuhlcovhv5b7x7nymljy4na

Learning Sentences and Assessments in Probabilistic Description Logics

José Eduardo Ochoa Luna, Kate Revoredo, Fábio Gagliardi Cozman
2010 International Semantic Web Conference  
The representation of uncertainty in the semantic web can be eased by the use of learning techniques.  ...  To completely induce a probabilistic ontology (that is, an ontology encoded through a probabilistic description logic) from data, two basic tasks must be solved: (1) learning concept definitions and (2  ...  Basics The aim of this paper is to learn probabilistic terminologies from data. In this section we briefly review both deterministic and probabilistic components of probabilistic description logics.  ... 
dblp:conf/semweb/LunaRC10a fatcat:633c7ssrurhqlm65pwcmyuh5fq

Adapting Clinical Ontologies in Real-World Environments

Holger Stenzhorn, Stefan Schulz, Martin Boeker, Barry Smith
2008 Journal of universal computer science (Online)  
Finally, we discuss the interactions between these different kinds of knowledge representation artifacts and the stakeholders involved in developing interoperational real-world clinical applications.  ...  The desideratum of semantic interoperability has been intensively discussed in medical informatics circles in recent years.  ...  The work of Smith is supported by the National Institute of Health's Roadmap for Medical Research, Grant 1 U 54 HG004028.  ... 
doi:10.3217/jucs-014-22-3767 pmid:20390048 pmcid:PMC2853050 fatcat:auptzitrcjh7zi4aghxnrjfcje

Ontology-based context-aware middleware for smart spaces

Weijun Qin, Yuanchun Shi, Yue Suo
2007 Tsinghua Science and Technology  
The middleware uses a formal context model, which combines first order probabilistic logic (FOPL) and web ontology language (OWL) ontologies, to provide a common understanding of contextual information  ...  Context-awareness enhances human-centric, intelligent behavior in a smart environment; however, context-awareness is not widely used due to the lack of effective infrastructure to support context-aware  ...  Formal representation of context First order probabilistic logic (FOPL) is used to represent the basic context structure which combines first order logic and probabilistic models in a machine learning  ... 
doi:10.1016/s1007-0214(07)70179-7 fatcat:qkjtwps2trex7picyfva6glh3u

Page 789 of Linguistics and Language Behavior Abstracts: LLBA Vol. 23, Issue 2 [page]

1989 Linguistics and Language Behavior Abstracts: LLBA  
name/sign distinction, F. de Saussure’s vs Plato’s conceptions; 8903868 nature of the unconscious/logical interpretant, S.  ...  Hoeksema’s critique of W. A. Ladusaw’s/F.  ... 

Formal Ontologies in Biomedical Knowledge Representation

L. Jansen, S. Schulz
2013 IMIA Yearbook of Medical Informatics  
Description logics based ontology languages like OWL-DL carry a clear-cut semantics, but they are computationally expensive, and they are often misinterpreted to encode all kinds of statements, including  ...  Method: We distinguish four kinds of statements needed to comprehensively represent domain knowledge: universal statements, terminological statements, statements about particulars and contingent statements  ...  Acknowledgements Research for this paper has been supported for both authors by the German Research Agency (DFG) under the auspices of the project Good Ontology Design (GoodOD), JA 1904/2-1, SCHU 2515/  ... 
doi:10.1055/s-0038-1638845 fatcat:7v3wlgogcnf5nawigdd5cueddu

Trends and Issues in Description Logics Frameworks for Image Interpretation [chapter]

Stamatia Dasiopoulou, Ioannis Kompatsiaris
2010 Lecture Notes in Computer Science  
Description Logics have recently attracted significant interest as the underlying formalism for conceptual modelling in the context of high-level image interpretation.  ...  Differences in the formulation of image interpretation semantics have resulted in varying configurations with respect to the adopted modelling paradigm, the utilised form of reasoning, and the way imprecision  ...  non monotonic probabilistic reasoner built on top of Pellet [34] , that however supports only terminological probabilistic knowledge.  ... 
doi:10.1007/978-3-642-12842-4_10 fatcat:4lxjtgj22javhbknwky4gepnii

ProCAVIAR: Hybrid Data-Driven and Probabilistic Knowledge-Based Activity Recognition

Claudio Bettini, Gabriele Civitarese, Davide Giancane, Riccardo Presotto
2020 IEEE Access  
Since collecting a comprehensive training set with activities performed in every possible context condition is too costly, if possible at all, existing works proposed knowledge-based reasoning over ontological  ...  In this work, we propose a novel activity recognition method that combines semi-supervised learning and probabilistic ontological reasoning.  ...  Log-linear description logics integrate description logics with probabilistic log-linear models to compute a probability distribution over coherent and consistent worlds.  ... 
doi:10.1109/access.2020.3015091 fatcat:k5wonkm5gnevtebgv7hplnvlpu

Page 2739 of Linguistics and Language Behavior Abstracts: LLBA Vol. 29, Issue 5 [page]

1995 Linguistics and Language Behavior Abstracts: LLBA  
descriptions, counterexamples; 9512240 Russian fine art products, semantic interpretation, diachronic perspec- tive; 9512206 semantic ambiguity, logical treatment, philosophical /computational linguistic  ...  Wierzbicka’s Semantic and Lexical Universals: Theory and Empirical Findings reviewed; 9511631 simple sentence regularity /ambiguity, abstract traditional grammar model; 9510974 Sommers, F., The Logic of  ... 

Ten years of knowledge representation for health care (2009–2018): Topics, trends, and challenges

David Riaño, Mor Peleg, Annette ten Teije
2019 Artificial Intelligence in Medicine  
In the last ten years, the international workshop on knowledge representation for health care (KR4HC) has hosted outstanding contributions of the artificial intelligence in medicine community pertaining  ...  to the formalization and representation of medical knowledge for supporting clinical care.  ...  Acknowledgements The work of DR was supported by the RETOS P-BreasTreat project (DPI2016-340 77415-R) of the Spanish Ministerio de Economia y Competitividad.  ... 
doi:10.1016/j.artmed.2019.101713 pmid:31607346 fatcat:dhinirnllfch5i3iqelyvnywvq

A Reference Architecture for Probabilistic Ontology Development

Richard Haberlin, Paulo Cesar G. da Costa, Kathryn B. Laskey
2013 Semantic Technologies for Intelligence, Defense, and Security  
Today, ontologies are popular for research in areas such as the Semantic Web, knowledge engineering, artificial intelligence and knowledge management.  ...  Representation of uncertainty in real-world problems requires probabilistic ontologies, which integrate the inferential reasoning power of probabilistic representations with the first-order expressivity  ...  Further descriptions of these and other categories may be found in Armstrong [6] .  ... 
dblp:conf/stids/HaberlinCL13 fatcat:wa3t3j6mzbgzvkr3qdvgzmb2a4

Ontology Temporal Evolution for Multi-Entity Bayesian Networks under Exogenous and Endogenous Semantic Updating [article]

Massimiliano Dal Mas
2010 arXiv   pre-print
It is a challenge for any Knowledge Base reasoning to manage ubiquitous uncertain ontology as well as uncertain updating times, while achieving acceptable service levels at minimum computational cost.  ...  solution that uses Multi-Entity Bayesan Networks with SWRL rules, and a Java program is presented to dynamically monitor Exogenous and Endogenous temporal evolution on updating merging ontologies on a probabilistic  ...  framework for probabilistic ontology to deal uncertainty in the Semantic Web; • in Section 4 it is introduced a logic system that integrates Description Logic (DL) with Bayesian probability theory extending  ... 
arXiv:1009.2084v1 fatcat:2566lg3qrvcqxbzdndx3vn6c44

A Review of Medical Imaging Informatics

2002 Annals of the New York Academy of Sciences  
A BSTRACT : This review of medical imaging informatics is a survey of current developments in an exciting field.  ...  In this review, we address imaging informatics issues within the requirements of an informatics system defined by the American Medical Informatics Association.  ...  The frame constructor bundles all the logical relations into structured frames. Each frame represents knowledge about a specific topic (e.g., mass) together with descriptions of select properties.  ... 
doi:10.1111/j.1749-6632.2002.tb04896.x pmid:12594089 fatcat:cqtgj3wg25bqtdpljen6cwbhoi

Using Electronic Documents for Knowledge Acquisition and Model Maintenance [chapter]

Martin Molina, Gemma Blasco
2003 Lecture Notes in Computer Science  
Knowledge acquisition and model maintenance are key problems in knowledge engineering to improve the productivity in the development of intelligent systems.  ...  The paper presents the structure of such a document based on knowledge categories derived from the modern knowledge modeling methodologies together with a number of requirements to be understandable by  ...  The work presented in this paper has been supported by the Ministry of Science and Technology of Spain within the RIADA project, and with the help of the Ministry of Environment of Spain (Dirección General  ... 
doi:10.1007/978-3-540-45226-3_184 fatcat:esdxycovbfdonehxn5neo27sp4
« Previous Showing results 1 — 15 out of 5,766 results