نتایج جستجو برای: hussrlian formal ontology

تعداد نتایج: 176439  

2014
Patrick Ray Alexander P. Cox Mark Jensen Alexander D. Diehl

There have been relatively few attempts to represent sight or blindness ontologically. This is unsurprising as the related phenomena of sight and blindness are surprisingly difficult to represent ontologically for a variety of reasons. This paper discusses those reasons, explores the current attempts to represent sight or blindness, and how these attempts fail at representing certain types of b...

2012
Ringo Baumann Frank Loebe Heinrich Herre

Time, events, changes and processes play a major role in conceptual modeling, and in information systems and computer science altogether. Accordingly, the representation of time structures and reasoning about temporal data and knowledge are important theoretical and practical research areas. We assume that a formal representation of temporal knowledge must use as a framework some toplevel ontol...

2013
Till Mossakowski Oliver Kutz Mihai Codescu

Ontohub is a repository engine for managing distributed heterogeneous ontologies. The distributed nature enables communities to share and exchange their contributions easily. The heterogeneous nature makes it possible to integrate ontologies written in various ontology languages. It supports a wide range of formal logical and ontology languages building on the OntoIOp.org project and allows for...

Journal: :Journal of biomedical informatics 2012
Tiffani J. Bright E. Yoko Furuya Gilad J. Kuperman James J. Cimino Suzanne Bakken

OBJECTIVES To develop and apply formal ontology creation methods to the domain of antimicrobial prescribing and to formally evaluate the resulting ontology through intrinsic and extrinsic evaluation studies. METHODS We extended existing ontology development methods to create the ontology and implemented the ontology using Protégé-OWL. Correctness of the ontology was assessed using a set of on...

2014
Marco Rospocher Chiara Ghidini Luciano Serafini

In this paper we describe a formal ontological description of the Business Process Modelling Notation (BPMN), one of the most popular languages for business process modelling. The proposed ontology (the BPMN Ontology) provides a classification of all the elements of BPMN, together with the formal description of the attributes and conditions describing how the elements can be combined in a BPMN ...

2009
Bodil Nistrup Madsen Hanne Erdman Thomsen

This paper presents some principles of terminological ontologies implemented in the prototype that has been developed in the research project CAOS Computer-Aided Ontology Structuring. Furthermore some issues, that have to be faced to further develop facilities for automatic consistency checking and automatic changes to ontologies, are discussed. The presentation will illustrate central faciliti...

2002
Yves Forkl Michael Hellenschmidt

The development of agents, which are working together to accomplish complex tasks, needs efficient appliances – in particular if a great number of developers are involved in designing and implementing the functionalities of the agents and the communication between them. In this article it is shown how a formal ontology and an efficient monitoring of the communication can help to increase develo...

2002
Adam Pease Ian Niles John Li

In this paper we discuss the development and application of a large formal ontology to the semantic web. The Suggested Upper Merged Ontology (SUMO) (Niles & Pease, 2001) (SUMO, 2002) is a “starter document” in the IEEE Standard Upper Ontology effort. This upper ontology is extremely broad in scope and can serve as a semantic foundation for search, interoperation, and communication on the semant...

2004
Natalia V. Loukachevitch Boris V. Dobrov

In the paper we describe our approach to development of ontologies with small number of relation types. Non-taxonomic relations in our ontologies are based on ontological dependence conception described in the formal ontology. This minimal relations set does not depend on a domain or a task and makes possible to begin the ontology construction at once, as soon as a task is set and a domain is d...

2007
Miguel-Ángel Sicilia

This paper addresses the representation of the main elements of instructional models using formal ontology languages. Following existing conceptualizations, models, methods and conditions are modeled in a generic way able of capturing a plurality of views. Some concrete examples are provided, and the potential uses of such representations for the checking and selection of learning resources are...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید