Bioinformatics has been a fertile field for the application of the discipline of formal ontology.... more Bioinformatics has been a fertile field for the application of the discipline of formal ontology. The principled representation of biomedical entities has increasingly supported biological research, with direct benefits ranging from the reformulation of medical terminologies to the introduction of new perspectives for enhanced models of Electronic Health Records (EHR). This paper introduces an application-independent ontological analysis of the electrocardiogram (ECG) grounded in the Unified Foundational Ontology. With the objective of investigating the phenomena underlying this cardiological exam, we deal with the sub-domains of human heart electrophysiology and anatomy. We then outline an ECG Ontology built upon the OBO Relation Ontology. In addition, the domain ontology sketched here takes inspiration both in the Foundational Model of Anatomy and in the Ontology of Functions proposed under the auspices of the General Formal Ontology (GFO) research program.
... Duraç˜ao Equivalente de Interrupç˜ao por Unidade Consumidora) eo FEC (Freqüência Equiva-lente... more ... Duraç˜ao Equivalente de Interrupç˜ao por Unidade Consumidora) eo FEC (Freqüência Equiva-lente de Interrupç˜ao por Unidade Consumidora), am-bos definidos pela ANEEL. ... Na literatura, a regi˜ao geográfica usual para a apuraç˜ao destes indicadores é um ali-mentador. ...
An electric utility should provide a reliable service to its customers. The service quality is me... more An electric utility should provide a reliable service to its customers. The service quality is measured by reliability indices defined by an utility boar d or similar commission. A good place- ment of protection and sectionalizing devices (reclosers, fuses, and switches) is crucial to improve the reliability indices. Among those devices, reclosers pl ay a more relevant role and have
In this paper we present an approach for representing temporally changing information in OWL. Thi... more In this paper we present an approach for representing temporally changing information in OWL. This approach is based on a reification strategy founded on results from the philosophical discipline of Formal Ontology. These results grant ontological meaning to the reified individuals (intrinsic and relational properties) and provide an ontological semantics to the resulting specification. We also propose here some methodological guidelines for guiding the use of the proposed framework in supporting modeling decisions in OWL. By using the proposed framework, one can represent domain information regarding sources of temporal change such as the distinction between necessary versus contingent properties, or mutable versus immutable ones. Finally, we compare the proposed approach with another commonly used strategy for circumventing OWL ́s limitation w.r.t. temporally changing information.
With the growth of e-government programs, the available data to citizens is growing in volume eve... more With the growth of e-government programs, the available data to citizens is growing in volume every day. However, to make these data a useful source of information, to be referenced and integrated more easily by different applications, they should be published according to the best practices of Linked Open Data, using standards for description (RDF) and identification (URI) of data resources on the web. The main goal of this work is to propose a platform and approach to support the exposure, sharing and association of data resources in the form of Linked Open Data, offering a user-friendly environment to stimulate the publication of data and their association to other existing data. Central functionalities to be included are data cleaning, transformation, linking, annotation and referencing to terminology mechanisms.
An important challenge in the Knowledge Representation area is on representing and reasoning over... more 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.
Despite the fact that many authors in the literature defend the need of ontologically well-founde... more Despite the fact that many authors in the literature defend the need of ontologically well-founded languages for ontology representation, this approach has not yet been broadly adopted. We present in this paper a codification of a well-founded heart-ECG domain ontology in OWL+SWRL. The lightweight ontology produced is then applied to a web environment for heart electrophysiology reasoning and visualization. We also reflect on this codification process to argue in favor of the view that two classes of languages are needed for ontology engineering: (i) a theoretically well-founded representation language for creating conceptual domain ontologies; (ii) a lightweight representation language for codifying these conceptual ontologies.
Biomedical knowledge and data have been increasingly more explored by computer programs in provid... more Biomedical knowledge and data have been increasingly more explored by computer programs in providing support for human visualization of biomedical phenomena. Use scenarios of such graphical simulations range from physician’s decision support to aid-learning in medical sciences. The knowledge and data representation often plays a prominent role in such biomedical applications. In this sense, this paper introduces the use of a lightweight ontology of heart electrophysiology in an interactive web application. We reflect on this ontology-based application to highlight some benefits achieved with a representation based on a combination of the semantic web languages OWL DL and SWRL. The application can be used to offer support for interactive learning in heart electrophysiology.
Bioinformatics has been a fertile field for the application of the discipline of formal ontology.... more Bioinformatics has been a fertile field for the application of the discipline of formal ontology. The principled representation of biomedical entities has increasingly supported biological research, with direct benefits ranging from the reformulation of medical terminologies to the introduction of new perspectives for enhanced models of Electronic Health Records (EHR). This paper introduces an application-independent ontological analysis of the electrocardiogram (ECG) grounded in the Unified Foundational Ontology. With the objective of investigating the phenomena underlying this cardiological exam, we deal with the sub-domains of human heart electrophysiology and anatomy. We then outline an ECG Ontology built upon the OBO Relation Ontology. In addition, the domain ontology sketched here takes inspiration both in the Foundational Model of Anatomy and in the Ontology of Functions proposed under the auspices of the General Formal Ontology (GFO) research program.
... Duraç˜ao Equivalente de Interrupç˜ao por Unidade Consumidora) eo FEC (Freqüência Equiva-lente... more ... Duraç˜ao Equivalente de Interrupç˜ao por Unidade Consumidora) eo FEC (Freqüência Equiva-lente de Interrupç˜ao por Unidade Consumidora), am-bos definidos pela ANEEL. ... Na literatura, a regi˜ao geográfica usual para a apuraç˜ao destes indicadores é um ali-mentador. ...
An electric utility should provide a reliable service to its customers. The service quality is me... more An electric utility should provide a reliable service to its customers. The service quality is measured by reliability indices defined by an utility boar d or similar commission. A good place- ment of protection and sectionalizing devices (reclosers, fuses, and switches) is crucial to improve the reliability indices. Among those devices, reclosers pl ay a more relevant role and have
In this paper we present an approach for representing temporally changing information in OWL. Thi... more In this paper we present an approach for representing temporally changing information in OWL. This approach is based on a reification strategy founded on results from the philosophical discipline of Formal Ontology. These results grant ontological meaning to the reified individuals (intrinsic and relational properties) and provide an ontological semantics to the resulting specification. We also propose here some methodological guidelines for guiding the use of the proposed framework in supporting modeling decisions in OWL. By using the proposed framework, one can represent domain information regarding sources of temporal change such as the distinction between necessary versus contingent properties, or mutable versus immutable ones. Finally, we compare the proposed approach with another commonly used strategy for circumventing OWL ́s limitation w.r.t. temporally changing information.
With the growth of e-government programs, the available data to citizens is growing in volume eve... more With the growth of e-government programs, the available data to citizens is growing in volume every day. However, to make these data a useful source of information, to be referenced and integrated more easily by different applications, they should be published according to the best practices of Linked Open Data, using standards for description (RDF) and identification (URI) of data resources on the web. The main goal of this work is to propose a platform and approach to support the exposure, sharing and association of data resources in the form of Linked Open Data, offering a user-friendly environment to stimulate the publication of data and their association to other existing data. Central functionalities to be included are data cleaning, transformation, linking, annotation and referencing to terminology mechanisms.
An important challenge in the Knowledge Representation area is on representing and reasoning over... more 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.
Despite the fact that many authors in the literature defend the need of ontologically well-founde... more Despite the fact that many authors in the literature defend the need of ontologically well-founded languages for ontology representation, this approach has not yet been broadly adopted. We present in this paper a codification of a well-founded heart-ECG domain ontology in OWL+SWRL. The lightweight ontology produced is then applied to a web environment for heart electrophysiology reasoning and visualization. We also reflect on this codification process to argue in favor of the view that two classes of languages are needed for ontology engineering: (i) a theoretically well-founded representation language for creating conceptual domain ontologies; (ii) a lightweight representation language for codifying these conceptual ontologies.
Biomedical knowledge and data have been increasingly more explored by computer programs in provid... more Biomedical knowledge and data have been increasingly more explored by computer programs in providing support for human visualization of biomedical phenomena. Use scenarios of such graphical simulations range from physician’s decision support to aid-learning in medical sciences. The knowledge and data representation often plays a prominent role in such biomedical applications. In this sense, this paper introduces the use of a lightweight ontology of heart electrophysiology in an interactive web application. We reflect on this ontology-based application to highlight some benefits achieved with a representation based on a combination of the semantic web languages OWL DL and SWRL. The application can be used to offer support for interactive learning in heart electrophysiology.
Uploads
Papers by Veruska Zamborlini