中文
相关论文

相关论文: An Object-Oriented Metamodel for Bunge-Wand-Weber …

200 篇论文

Automating ontology construction and curation is an important but challenging task in knowledge engineering and artificial intelligence. Prediction by machine learning techniques such as contextual semantic embedding is a promising…

人工智能 · 计算机科学 2023-03-21 Jiaoyan Chen , Yuan He , Yuxia Geng , Ernesto Jimenez-Ruiz , Hang Dong , Ian Horrocks

Ontologies are a standard tool for creating semantic schemata in many knowledge intensive domains of human interest. They are becoming increasingly important also in the areas that have been until very recently dominated by subsymbolic…

密码学与安全 · 计算机科学 2025-09-26 Peter Švec , Štefan Balogh , Martin Homola , Ján Kľuka , Tomáš Bisták , Peter Anthony

Location- and context-aware services are emerging technologies in mobile and desktop environments, however, most of them are difficult to use and do not seem to be beneficial enough. Our research focuses on designing and creating a…

软件工程 · 计算机科学 2009-06-23 László Kovács , Péter Mátételki , Balázs Pataki

Ontologies serve as a one of the formal means to represent and model knowledge in computer science, electrical engineering, system engineering and other related disciplines. Ontologies within requirements engineering may be used for formal…

软件工程 · 计算机科学 2022-11-22 Hrvoje Belani , Petar Solic , Toni Perkovic

This works considers challenges of building and usage a formal knowledge base (model), which unites the ATT&CK, CAPEC, CWE, CVE security enumerations. The proposed model can be used to learn relations between attack techniques, attack…

密码学与安全 · 计算机科学 2021-12-09 Andrei Brazhuk

In the field of knowledge management and computer science, ontologies provide a structured framework for modeling domain-specific knowledge by defining concepts and their relationships. However, the lack of tools that provide effective…

人工智能 · 计算机科学 2025-07-21 Carlos Bobed , Carlota Quintana , Eduardo Mena , Jorge Bobed , Fernando Bobillo

Classic supervised learning makes the closed-world assumption, meaning that classes seen in testing must have been seen in training. However, in the dynamic world, new or unseen class examples may appear constantly. A model working in such…

计算与语言 · 计算机科学 2019-03-05 Hu Xu , Bing Liu , Lei Shu , P. Yu

The UML allows us to specify models in a precise, complete and unambiguous manner. In particular, the UML addresses the specification of all important decisions regarding analysis, design and implementation. Although UML is not a visual…

软件工程 · 计算机科学 2010-01-26 S. S. Riaz Ahamed

Unified modelling language (UML) 2.0 introduced in 2002 has been developing and influencing object-oriented software engineering and has become a standard and reference for information system analysis and design modelling. There are many…

软件工程 · 计算机科学 2010-06-10 Spits Warnars

OWLOOP is an Application Programming Interface (API) for using the Ontology Web Language (OWL) by the means of Object-Oriented Programming (OOP). It is common to design software architectures using the OOP paradigm for increasing their…

人工智能 · 计算机科学 2022-01-03 Luca Buoncompagni , Syed Yusha Kareem , Fulvio Mastrogiovanni

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

Contextual type theory distinguishes between bound variables and meta-variables to write potentially incomplete terms in the presence of binders. It has found good use as a framework for concise explanations of higher-order unification,…

计算机科学中的逻辑 · 计算机科学 2011-11-02 Mathieu Boespflug , Brigitte Pientka

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

Certainly, the success of the Unified Modeling Language (UML) as the de facto standard for modeling software systems does not imply closing the door on scientific exploration or experimentation with modeling in the field. Continuing studies…

软件工程 · 计算机科学 2021-02-08 Sabah Al-Fedaghi

Imaging data is one of the most important fundamentals in the current life sciences. We aimed to construct an ontology to describe imaging metadata as a data schema of the integrated database for optical and electron microscopy images…

数字图书馆 · 计算机科学 2021-11-23 Satoshi Kume , Hiroshi Masuya , Yosky Kataoka , Norio Kobayashi

Ontologies are a standard for semantic schemata in many knowledge-intensive domains of human interest. They are now becoming increasingly important also in areas until very recently dominated by subsymbolic representations and…

密码学与安全 · 计算机科学 2023-01-03 Peter Švec , Štefan Balogh , Martin Homola , Ján Kľuka

Ontologies are built on systems that conceptually evolve over time. In addition, techniques and languages for building ontologies evolve too. This has led to numerous studies in the field of ontology versioning and ontology evolution. This…

软件工程 · 计算机科学 2012-08-09 Perrine Pittet , Christophe Nicolle , Christophe Cruz

The given paper considered a generalized model representation of the software system "Instrumental complex for ontological engineering purpose". Represented complete software system development process. Developed relevant formal models of…

软件工程 · 计算机科学 2022-01-04 A. V. Palagin , N. G. Petrenko , V. Yu. Velychko , K. S. Malakhov

A key challenge for Industry 4.0 applications is to develop control systems for automated manufacturing services that are capable of addressing both data integration and semantic interoperability issues, as well as monitoring and decision…

人工智能 · 计算机科学 2022-10-11 Massimo Carraturo , Andrea Mazzullo

A database driven web application is a very common software solution to rising business problems. Modeling the database and the software architecture can be challenging, hence there not being one combined modeling language for database and…

软件工程 · 计算机科学 2022-10-06 Thijs Otter