Logo

    description logic

    Explore " description logic" with insightful episodes like "A Scalable RDBMS-Based Inference Engine for RDFS/OWL", "Distributed Ontology Development with Protege", "Collaborative Ontology Development in Protege", "A logic for ontology interoperation -- by Dr. Pat Hayes from the Florida Institute for Human and Machine Cognition ("IHMC") - 26-October-2006" and "Terminologies and Ontologies: What are they for? What would it mean to QA an ontology (specifically in healthcare? -- by Professor Alan Rector (from the University of Manchester, UK) - 14-Sep-2006" from podcasts like ""ONTOLOG forum podcast", "ONTOLOG forum podcast", "ONTOLOG forum podcast", "ONTOLOG forum podcast" and "ONTOLOG forum podcast"" and more!

    Episodes (5)

    A Scalable RDBMS-Based Inference Engine for RDFS/OWL

    A Scalable RDBMS-Based Inference Engine for RDFS/OWL
    * [ontolog] Dr. Zhe (Alan) Wu (from Oracle's New England Development Center) presents: "A Scalable RDBMS-Based Inference Engine for RDFS/OWL" in the 11th session of the Ontolog "Database and Ontology" mini-series - Session co-chair: Dr. Matthew West (Shell International Petroleum Co) and Dr. Leo Obrst (MITRE) - 18-Oct-2007 * see ONTOLOG Forum session page: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2007_10_18

    Distributed Ontology Development with Protege

    Distributed Ontology Development with Protege
    * [ontolog] Dr. Timothy Redmond from the Stanford Center for Biomedical Informatics Research (BMIR) Protege project team and Mr. Peter Yim of CIM3 presents: "Distributed Ontology Development with Protege" at the Ontolog Forum - 11-Oct-2007 (as the second episode to a 2-part session on "Distributed Collaboration in Ontology Development with Protege") * see ONTOLOG Forum session page: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2007_10_11

    Collaborative Ontology Development in Protege

    Collaborative Ontology Development in Protege
    * [ontolog] Dr. Tania Tudorache from the Stanford Medical Informatics / Protege project team gives a talk on: "Collaborative Ontology Development in Protege" at the Ontolog Forum - 4-Oct-2007 (as the first episode to a 2-part session on "Distributed Collaboration in Ontology Development with Protege") * see ONTOLOG Forum session page: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2007_10_04

    A logic for ontology interoperation -- by Dr. Pat Hayes from the Florida Institute for Human and Machine Cognition ("IHMC") - 26-October-2006

    A logic for ontology interoperation -- by Dr. Pat Hayes from the Florida Institute for Human and Machine Cognition ("IHMC") - 26-October-2006
    * Subject Dr. Pat Hayes from the Florida Institute for Human and Machine Cognition ("IHMC") was our invited speaker. His presentation was entitled: "A logic for ontology interoperation" where he talked about Common Logic (CL) and its extension, IKL - a system of logical notations and formalisms that can act as an expressive foundation for ontology interchange. * Date Thursday, October 26, 2006 * ONTOLOG Forum session page (with agenda and link to slides) http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2006_10_26 * Abstract (by Pat Hayes) Over the past few years a series of initiatives have converged on the design of a 'common logic' into which a large variety of alternative logical notations and formalisms can be projected, and so can act as an expressive foundation for ontology interchange and standardization. This talk will briefly survey the design principles that have emerged from these discussions and the outline of the resulting framework, which is currently going through ISO approval as ISO Common Logic, and a more recent extension called IKL, designed explicitly for ontology interoperation, which provides a variety of powerful naming conventions which enable it to explicitly describe relationships between ontological frameworks. We will illustrate the talk with examples showing how description logics such as OWL, modal and temporal logics, hybrid logics and context logics can be mapped into CL and IKL.

    Terminologies and Ontologies: What are they for? What would it mean to QA an ontology (specifically in healthcare? -- by Professor Alan Rector (from the University of Manchester, UK) - 14-Sep-2006

    Terminologies and Ontologies: What are they for? What would it mean to QA an ontology (specifically in healthcare? -- by Professor Alan Rector (from the University of Manchester, UK) - 14-Sep-2006
    * Subject Professor Alan Rector from the University of Manchester (UK) presents: "Terminologies and Ontologies: What are they for? What would it mean to QA an ontology (specifically in healthcare?)" * Date Thursday, September 14, 2006 * ONTOLOG Forum session page (with agenda and link to slides) http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2006_09_14 * Abstract (by Alan Rector) Terminologies and 'Ontologies' serve several disparate purposes: o Providing a controlled vocabulary and/or standard set of identifiers o Providing a means of browsing and finding appropriate vocabulary or identifiers o Providing the linguistic terms - synonyms, translations, etc.. - to go with the controlled vocabulary o Cross mapping and translation between different systems o Providing logical criteria which can be used for inference and query expansion o Providing additional 'universal' or intrinsic information about the entities involved o Serving as an index for other background knowledge and resources Most current biomedical ontologies serve primarily the first three functions, with varying efforts towards formal logical criteria. However, there are aspirations, and sometimes claims, for more rigorous functions, and many standardisation efforts pre-suppose more and more formal structure. Each of these functions implies criteria for quality assurance. For example, for managing controlled vocabularies, process issues such as version control and coverage are most critical. Browsing raises issues of human computer interaction, and language raises its own issues. The last three all require a degree of logical coherence and rigour. In addition to many biomedical ontologies, scaling is critical. Biomedical ontologies are large and potentially combinatorially explosive. For some applications, small enumerated terminologies are sufficient. For others, indefinitely large compositional ontologies that cannot, in principle, be pre-enumerated are required. Finally almost all ontologies are based on many poorly articulated assumptions. Any quality assurance methodology must take account both of what can be understood independent of consultation with the originators and what conclusions can be reached after consultation with the originators. Overall we propose an approach to quality along two dimensions - process and content - and a two stage process - the first independent of consultation with the originating authority, the second in consultation with the originating authority.
    Logo

    © 2024 Podcastworld. All rights reserved

    Stay up to date

    For any inquiries, please email us at hello@podcastworld.io