نتایج جستجو برای: hussrlian formal ontology
تعداد نتایج: 176439 فیلتر نتایج به سال:
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...
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...
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...
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...
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 ...
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...
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...
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...
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...
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...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید