English
Related papers

Related papers: Generating Ontologies from Templates: A Rule-Based…

200 papers

In this work we address the issue of generic automated disease incidence monitoring on twitter. We employ an ontology of disease related concepts and use it to obtain a conceptual representation of tweets. Unlike previous key word based…

Computation and Language · Computer Science 2016-11-22 Mark Abraham Magumba , Peter Nabende

In this chapter we propose Generic Ontology Design Patterns, GODPs, as a methodology for representing and instantiating ontology design patterns in a way that is adaptable, and allows domain experts (and other users) to safely use them…

Artificial Intelligence · Computer Science 2020-12-11 Bernd Krieg-Brückner , Till Mossakowski , Mihai Codescu

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…

Artificial Intelligence · Computer Science 2023-08-17 Tobias John , Patrick Koopmann

Ontology development is a non-trivial task requiring expertise in the chosen ontological language. We propose a method for making the content of ontologies more transparent by presenting, through the use of natural language generation,…

Artificial Intelligence · Computer Science 2013-12-11 Shao Fen Liang , Donia Scott , Robert Stevens , Alan Rector

Most definitions of ontology, viewed as a "specification of a conceptualization", agree on the fact that if an ontology can take different forms, it necessarily includes a vocabulary of terms and some specification of their meaning in…

Artificial Intelligence · Computer Science 2008-01-09 Christophe Roche

To appear in Theory and Practice of Logic Programming (TPLP), 2008. We are researching the interaction between the rule and the ontology layers of the Semantic Web, by comparing two options: 1) using OWL and its rule extension SWRL to…

Artificial Intelligence · Computer Science 2007-11-22 Ken Samuel , Leo Obrst , Suzette Stoutenberg , Karen Fox , Paul Franklin , Adrian Johnson , Ken Laskey , Deborah Nichols , Steve Lopez , Jason Peterson

In semantic technologies, the shared common understanding of the structure of information among artifacts (people or software agents) can be realized by building an ontology. To do this, it is imperative for an ontology builder to answer…

Artificial Intelligence · Computer Science 2015-09-21 Thabet Slimani

Patterns are fundamental to human cognition, enabling the recognition of structure and regularity across diverse domains. In this work, we focus on structural repeats, patterns that arise from the repetition of hierarchical relations within…

Computation and Language · Computer Science 2025-04-15 Zeng Ren , Xinyi Guan , Martin Rohrmeier

Topic modeling is a well-established technique for exploring text corpora. Conventional topic models (e.g., LDA) represent topics as bags of words that often require "reading the tea leaves" to interpret; additionally, they offer users…

Computation and Language · Computer Science 2024-04-03 Chau Minh Pham , Alexander Hoyle , Simeng Sun , Philip Resnik , Mohit Iyyer

In ontology-mediated query answering, access to incomplete data sources is mediated by a conceptual layer constituted by an ontology, which can be formulated in a description logic (DL) or using existential rules. In the literature, there…

Logic in Computer Science · Computer Science 2022-08-31 Christian Alrabbaa , Stefan Borgwardt , Patrick Koopmann , Alisa Kovtunova

Ontology matching is the process of automatically determining the semantic equivalences between the concepts of two ontologies. Most ontology matching algorithms are based on two types of strategies: terminology-based strategies, which…

Artificial Intelligence · Computer Science 2015-07-14 Shangpu Jiang , Daniel Lowd , Dejing Dou

We describe a method for automatically generating Lexical Transfer Rules (LTRs) from word equivalences using transfer rule templates. Templates are skeletal LTRs, unspecified for words. New LTRs are created by instantiating a template with…

Computation and Language · Computer Science 2007-05-23 Davide Turcato , Paul McFetridge , Fred Popowich , Janine Toole

Ontology is a popular method for knowledge representation in different domains, including the legal domain, and description logics (DL) is commonly used as its description language. To handle reasoning based on inconsistent DL-based legal…

Artificial Intelligence · Computer Science 2022-09-20 Zhe Yu , Yiwei Lu

This paper presents LEXR, a framework for explaining the decision making of recurrent neural networks (RNNs) using a formal description language called Linear Temporal Logic (LTL). LTL is the de facto standard for the specification of…

Artificial Intelligence · Computer Science 2020-06-15 Bishwamittra Ghosh , Daniel Neider

Trees -- i.e., the type of data structure known under this name -- are central to many aspects of knowledge organization. We investigate some central design choices concerning the ontological modeling of such trees. In particular, we…

Artificial Intelligence · Computer Science 2017-10-17 David Carral , Pascal Hitzler , Hilmar Lapp , Sebastian Rudolph

The question whether an ontology can safely be replaced by another, possibly simpler, one is fundamental for many ontology engineering and maintenance tasks. It underpins, for example, ontology versioning, ontology modularization,…

Artificial Intelligence · Computer Science 2018-04-24 Elena Botoeva , Boris Konev , Carsten Lutz , Vladislav Ryzhikov , Frank Wolter , Michael Zakharyaschev

We investigate the less-explored task of generating open-ended questions that are typically answered by multiple sentences. We first define a new question type ontology which differentiates the nuanced nature of questions better than widely…

Computation and Language · Computer Science 2021-07-02 Shuyang Cao , Lu Wang

Patterns describe proven solutions for recurring problems. Typically, patterns in a particular domain are interrelated and organized in pattern languages. As real-world problems often require patterns of multiple domains, different pattern…

Software Engineering · Computer Science 2020-03-23 Manuela Weigold , Johanna Barzen , Uwe Breitenbücher , Michael Falkenthal , Frank Leymann , Karoline Wild

Formal language techniques have been used in the past to study autonomous dynamical systems. However, for controlled systems, new features are needed to distinguish between information generated by the system and input control. We show how…

Computation and Language · Computer Science 2007-05-23 J. F. Martins , J. A. Dente , A. J. Pires , R. Vilela Mendes

Ontologies have become essential in today's digital age as a way of organising the vast amount of readily available unstructured text. In providing formal structure to this information, ontologies have immense value and application across…

Computation and Language · Computer Science 2025-11-11 Dekai Zhang , Simone Conia , Antonio Rago