No abstract

No abstract

No abstract

An important challenge in the Knowledge Representation area is on representing and reasoning over temporally changing information. Particularly, a number of authors have been investigating approaches to extend the expressivity beyond what is currently supported by the DL (Description Logics) based languages in order to address this issue, while maintaining compatibility with subclasses of DLs adopted in the Semantic Web. This is mainly due to the increasing popularity of the Semantic Web initiative as well as the role played by DL in that context. In this paper we defend the need of a higher-level foundational framework based on results coming from the discipline of Formal Ontology. We present two complementary proposals for modeling temporally changing information in OWL, based on the most discussed strategy in the literature to address this problem, namely, the use of a perdurantist (or 4D) view of domain entities. Moreover we compare the results with some related work and discuss its limitations and further improvements.

No abstract

Bacharel em Ciência da Computação na Universidade Federal do Espírito Santo (UFES). Atualmente, é estudante de mestrado em Ciência da Computação na mesma universidade sob supervisão de Giancarlo Guizzardi. Seus interesses científicos incluem questões de Lógica, Modelagem Conceitual e Ontologia Formal.

No abstract

Zamborlini, V.; Hoekstra, R.J.; da Silveira, M.; Pruski, C.; ten Teije-Koppen, A.C.M.; van Harmelen, F.A.H. Link to publication Citation for published version (APA):Zamborlini, V., Hoekstra, R., da Silveira, M., Pruski, C., ten Teije, A., & van Harmelen, F. (2016 General rightsIt is not permitted to download or to forward/distribute the text or part of it without the consent of the author(s) and/or copyright holder(s), other than for strictly personal, individual use, unless the work is under an open content license (like Creative Commons). Disclaimer/Complaints regulationsIf you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library: http://uba.uva.nl/en/contact, or a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible. Abstract: This paper presents a method for formally representing Computer-Interpretable Guidelines to deal with multimorbidity. Although some approaches for merging guidelines exist, improvements are still required for combining several sources of information and coping with possibly conflicting pieces of evidence coming from clinical studies. Our main contribution is twofold: (i) we provide general models and rules for representing guidelines that expresses evidence as causation beliefs; (ii) we introduce a mechanism to exploit external medical knowledge acquired from Linked Open Data (Drugbank, Sider, DIKB) to detect potential interactions between recommendations. We apply this framework to merge three guidelines (Osteoarthritis, Diabetes, and Hypertension) in order to illustrate the capability of this approach for detecting potential conflicts between guidelines and eventually propose alternatives.