中文
相关论文

相关论文: Iof-maint -- Modular maintenance ontology

200 篇论文

Many ontologies have been developed in biology and these ontologies increasingly contain large volumes of formalized knowledge commonly expressed in the Web Ontology Language (OWL). Computational access to the knowledge contained within…

数据库 · 计算机科学 2015-02-02 Robert Hoehndorf , Luke Slater , Paul N. Schofield , Georgios V. Gkoutos

Modular reasoning about class invariants is challenging in the presence of dependencies among collaborating objects that need to maintain global consistency. This paper presents semantic collaboration: a novel methodology to specify and…

软件工程 · 计算机科学 2014-05-08 Nadia Polikarpova , Julian Tschannen , Carlo A. Furia , Bertrand Meyer

Ontologies are widely used for representing domain knowledge and meta data, playing an increasingly important role in Information Systems, the Semantic Web, Bioinformatics and many other domains. However, logical reasoning that ontologies…

人工智能 · 计算机科学 2025-04-08 Jiaoyan Chen , Olga Mashkova , Fernando Zhapa-Camacho , Robert Hoehndorf , Yuan He , Ian Horrocks

Modern information systems are changing the idea of "data processing" to the idea of "concept processing", meaning that instead of processing words, such systems process semantic concepts which carry meaning and share contexts with other…

计算与语言 · 计算机科学 2018-11-09 Roger Granada , Renata Vieira , Cassia Trojahn , Nathalie Aussenac-Gilles

Quality factors like passive voice or sentence length are commonly used in research and practice to evaluate the quality of natural language requirements since they indicate defects in requirements artifacts that potentially propagate to…

An ontology makes a special vocabulary which describes the domain of interest and the meaning of the term on that vocabulary. Based on the precision of the specification, the concept of the ontology contains several data and conceptual…

信息检索 · 计算机科学 2019-10-01 Maryam Alizadeh , Maliheh Heydarpour Shahrezaei , Farajollah Tahernezhad-Javazm

The current learning systems typically lack the level of metacognitive awareness, self-directed learning, and time management skills. Most of the ontologically based learning management systems are in the proposed phase and those which are…

计算机与社会 · 计算机科学 2017-09-01 Monika Rani , Kumar Vaibhav Srivastava , O. P. Vyas

Many formal languages have been proposed to express or represent Ontologies, including RDF, RDFS, DAML+OIL and OWL. Most of these languages are based on XML syntax, but with various terminologies and expressiveness. Therefore, choosing a…

人工智能 · 计算机科学 2010-06-24 Mohammad Mustafa Taye

Module extraction - the task of computing a (preferably small) fragment M of an ontology T that preserves entailments over a signature S - has found many applications in recent years. Extracting modules of minimal size is, however,…

人工智能 · 计算机科学 2014-11-21 Ana Armas Romero , Mark Kaminski , Bernardo Cuenca Grau , Ian Horrocks

The formalization of process knowledge using ontologies enables consistent modeling of parameter interdependencies in manufacturing. These interdependencies are typically represented as mathematical expressions that define relations between…

人工智能 · 计算机科学 2025-06-23 Tom Jeleniewski , Hamied Nabizada , Jonathan Reif , Felix Gehlhoff , Alexander Fay

This presentation discusses a new, modular, more mature architecture for the Information Flow Framework (IFF). The IFF uses institution theory as a foundation for the semantic integration of ontologies. It represents metalogic, and as such…

数字图书馆 · 计算机科学 2011-09-06 Robert E. Kent

Keeping the dialogue state in dialogue systems is a notoriously difficult task. We introduce an ontology-based dialogue manage(OntoDM), a dialogue manager that keeps the state of the conversation, provides a basis for anaphora resolution…

计算与语言 · 计算机科学 2018-04-16 Duygu Altinok

In the following contribution, a method is introduced that integrates domain expert-centric ontology design with the Cross-Industry Standard Process for Data Mining (CRISP-DM). This approach aims to efficiently build an application-specific…

人工智能 · 计算机科学 2024-07-10 Milapji Singh Gill , Tom Westermann , Gernot Steindl , Felix Gehlhoff , Alexander Fay

In the materials design domain, much of the data from materials calculations are stored in different heterogeneous databases. Materials databases usually have different data models. Therefore, the users have to face the challenges to find…

数据库 · 计算机科学 2020-11-06 Huanyu Li , Rickard Armiento , Patrick Lambrix

Large language model (LLM)-based AI agents are increasingly deployed in manufacturing environments for analytics, quality management, and decision support. These agents demonstrate statistical fluency with domain terminology but lack…

人工智能 · 计算机科学 2026-05-13 Grama Chethan

While classical planning languages make the closed-domain and closed-world assumption, there have been various approaches to extend those with DL reasoning, which is then interpreted under the usual open-world semantics. Current approaches…

人工智能 · 计算机科学 2023-08-17 Tobias John , Patrick Koopmann

One of the main current challenges in Educational Data Mining and Learning Analytics is the portability or transferability of predictive models obtained for a particular course so that they can be applied to other different courses. To…

人工智能 · 计算机科学 2024-10-11 Javier Lopez Zambrano , Juan A. Lara , Cristobal Romero

The importance of taking individual, potentially conflicting perspectives into account when dealing with knowledge has been widely recognised. Many existing ontology management approaches fully merge knowledge perspectives, which may…

人工智能 · 计算机科学 2022-08-02 Lucía Gómez Álvarez , Sebastian Rudolph , Hannes Strass

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…

人工智能 · 计算机科学 2016-12-16 Mihai Codescu , Eugen Kuksa , Oliver Kutz , Till Mossakowski , Fabian Neuhaus

We propose an automatic approach to analyze the consistency and satisfiability of Unified Modeling Language UML models containing multiple class, object and statechart diagrams using logic reasoners for the Web Ontology Language OWL 2. We…

人工智能 · 计算机科学 2022-05-24 Ali Hanzala Khan , Ivan Porres