English
Related papers

Related papers: Using the Shapes Constraint Language for modelling…

200 papers

Today's process modeling languages often force the analyst or modeler to straightjacket real-life processes into simplistic or incomplete models that fail to capture the essential features of the domain under study. Conventional business…

Databases · Computer Science 2017-03-17 Wil M. P. van der Aalst , Guangming Li , Marco Montali

The contribution of this paper is to provide a semantic model (using soft constraints) of the words used by web-users to describe objects in a language game; a game in which one user describes a selected object of those composing the scene,…

Computation and Language · Computer Science 2010-05-31 Sergio Guadarrama , David P. Pancho

We present a second-order language that can be used to succinctly specify ontologies in a consistent and transparent manner. This language is based on ontology templates (OTTR), a framework for capturing recurring patterns of axioms in…

Artificial Intelligence · Computer Science 2018-09-28 Henrik Forssell , Christian Kindermann , Daniel P. Lupp , Uli Sattler , Evgenij Thorstensen

The web is changing the way in which data warehouses are designed, used, and queried. With the advent of initiatives such as Open Data and Open Government, organizations want to share their multidimensional data cubes and make them…

Databases · Computer Science 2015-12-21 Lorena Etcheverry , Silvia Silvia Gomez , Alejandro Vaisman

Semantic embedding of knowledge graphs has been widely studied and used for prediction and statistical analysis tasks across various domains such as Natural Language Processing and the Semantic Web. However, less attention has been paid to…

Artificial Intelligence · Computer Science 2021-01-26 Jiaoyan Chen , Pan Hu , Ernesto Jimenez-Ruiz , Ole Magnus Holter , Denvar Antonyrajah , Ian Horrocks

Operator Precedence Languages (OPL) have been recently identified as a suitable formalism for model checking recursive procedural programs, thanks to their ability of modeling the program stack. OPL requirements can be expressed in the…

Logic in Computer Science · Computer Science 2024-05-21 Michele Chiari , Luca Geatti , Nicola Gigante , Matteo Pradella

SPARQL CONSTRUCT queries allow for the specification of data processing pipelines that transform given input graphs into new output graphs. It is now common to constrain graphs through SHACL shapes allowing users to understand which data…

Databases · Computer Science 2024-05-22 Philipp Seifer , Daniel Hernández , Ralf Lämmel , Steffen Staab

Ontologies facilitate the integration of heterogeneous data sources by resolving semantic heterogeneity between them. This research aims to study the possibility of generating a domain conceptual model from a given ontology with the vision…

Distributed, Parallel, and Cluster Computing · Computer Science 2007-05-23 Haya El-Ghalayini , Mohammed Odeh , Richard McClatchey , Tony Solomonides

Ontology-based query answering (OBQA) asks whether a Boolean conjunctive query is satisfied by all models of a logical theory consisting of a relational database paired with an ontology. The introduction of existential rules (i.e., Datalog…

Logic in Computer Science · Computer Science 2017-07-07 Giovanni Amendola , Nicola Leone , Marco Manna

Ontology-based data access (OBDA) is a novel paradigm facilitating access to relational data, realized by linking data sources to an ontology by means of declarative mappings. DL-Lite_R, which is the logic underpinning the W3C ontology…

Artificial Intelligence · Computer Science 2015-12-02 Elena Botoeva , Diego Calvanese , Valerio Santarelli , Domenico Fabio Savo , Alessandro Solimando , Guohui Xiao

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

Over the past two decades, the Web Ontology Language (OWL) has been instrumental in advancing the development of ontologies and knowledge graphs, providing a structured framework that enhances the semantic integration of data. However, the…

Logic in Computer Science · Computer Science 2024-12-13 Atalay Mert Ileri , Nalen Rangarajan , Jack Cannell , Hande McGinty

Being able to efficiently retrieve the required building information is critical for construction project stakeholders to carry out their engineering and management activities. Natural language interface (NLI) systems are emerging as a time…

Computation and Language · Computer Science 2023-03-28 Mengtian Yin , Llewellyn Tang , Chris Webster , Shen Xu , Xiongyi Li , Huaquan Ying

Model card reports provide a transparent description of machine learning models which includes information about their evaluation, limitations, intended use, etc. Federal health agencies have expressed an interest in model cards report for…

Digital Libraries · Computer Science 2023-03-22 Muhammad Amith , Licong Cui , Kirk Roberts , Cui Tao

Computing becomes increasingly mobile and pervasive today; these changes imply that applications and services must be aware of and adapt to their changing contexts in highly dynamic environments. Today, building context-aware systems is a…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-03-12 Tao Gu , Xiao Hang Wang , Hung Keng Pung , Da Qing Zhang

Optimization problems seek to find the best solution to an objective under a set of constraints, and have been widely investigated in real-world applications. Modeling and solving optimization problems in a specific domain typically require…

Optimization and Control · Mathematics 2024-07-12 Jihai Zhang , Wei Wang , Siyan Guo , Li Wang , Fangquan Lin , Cheng Yang , Wotao Yin

System engineering has been shifting from document-centric to model-based approaches, where assets are becoming more and more digital. Although digitisation conveys several benefits, it also brings several concerns (e.g., storage and…

Software Engineering · Computer Science 2025-12-11 Arkadiusz Ryś , Lucas Lima , Joeri Exelmans , Dennis Janssens , Hans Vangheluwe

We present an ontology for representing workflows over components with Read-Write Linked Data interfaces and give an operational semantics to the ontology via a rule language. Workflow languages have been successfully applied for modelling…

Artificial Intelligence · Computer Science 2022-03-02 Tobias Käfer , Andreas Harth

The size of 3D models used on the web or stored in databases is becoming increasingly high. Then, an efficient method that allows users to find similar 3D objects for a given 3D model query has become necessary. Keywords and the geometry of…

Information Retrieval · Computer Science 2011-11-29 My Abdellah Kassimi , Omar El beqqali

Generating vector representations (embeddings) of OWL ontologies is a growing task due to its applications in predicting missing facts and knowledge-enhanced learning in fields such as bioinformatics. The underlying semantics of OWL…

Logic in Computer Science · Computer Science 2024-11-07 Fernando Zhapa-Camacho , Robert Hoehndorf