English
Related papers

Related papers: An Object-Oriented Metamodel for Bunge-Wand-Weber …

200 papers

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…

Artificial Intelligence · Computer Science 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…

Cryptography and Security · Computer Science 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…

Software Engineering · Computer Science 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…

Software Engineering · Computer Science 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…

Cryptography and Security · Computer Science 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…

Artificial Intelligence · Computer Science 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…

Computation and Language · Computer Science 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…

Software Engineering · Computer Science 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…

Software Engineering · Computer Science 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…

Artificial Intelligence · Computer Science 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…

Artificial Intelligence · Computer Science 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,…

Logic in Computer Science · Computer Science 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…

Information Retrieval · Computer Science 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…

Software Engineering · Computer Science 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…

Digital Libraries · Computer Science 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…

Cryptography and Security · Computer Science 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…

Software Engineering · Computer Science 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…

Software Engineering · Computer Science 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…

Artificial Intelligence · Computer Science 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…

Software Engineering · Computer Science 2022-10-06 Thijs Otter