Results for 'Sybo Dijkstra'

Order:
  1.  84
    Biomedical Terminologies and Ontologies: Enabling Biomedical Semantic Interoperability and Standards in Europe.Bernard de Bono, Mathias Brochhausen, Sybo Dijkstra, Dipak Kalra, Stephan Keifer & Barry Smith - 2009 - In European Large-Scale Action on Electronic Health.
    In the management of biomedical data, vocabularies such as ontologies and terminologies (O/Ts) are used for (i) domain knowledge representation and (ii) interoperability. The knowledge representation role supports the automated reasoning on, and analysis of, data annotated with O/Ts. At an interoperability level, the use of a communal vocabulary standard for a particular domain is essential for large data repositories and information management systems to communicate consistently with one other. Consequently, the interoperability benefit of selecting a particular O/T as a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. Polynomial Ring Calculus for Modal Logics: A New Semantics and Proof Method for Modalities: Polynomial Ring Calculus for Modal Logics.Juan C. Agudelo - 2011 - Review of Symbolic Logic 4 (1):150-170.
    A new proof style adequate for modal logics is defined from the polynomial ring calculus. The new semantics not only expresses truth conditions of modal formulas by means of polynomials, but also permits to perform deductions through polynomial handling. This paper also investigates relationships among the PRC here defined, the algebraic semantics for modal logics, equational logics, the Dijkstra???Scholten equational-proof style, and rewriting systems. The method proposed is throughly exemplified for S 5, and can be easily extended to other (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations