Basic Formal Ontology (BFO) is a top-level ontology consisting of thirty-six classes, designed to support information integration, retrieval, and analysis across all domains scientific investigation, presently employed in over 350 projects around the world. BFO genuine ontology, containing no terms particular material domains, such as physics, medicine, or psychology. In this paper, we demonstr...

One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...

Abstract IT-era has changed not only the notion of intercultural communication worldwide, but also every aspect human reality. In this paper, authors present application electronic media in formal and non-formal education Croatian higher institutions on example Faculty Law, University Osijek. Special attention is paid to specific computer programmes, language databases tools for machine transla...