OWLOOP: A Modular API to Describe OWL Axioms in OOP Objects Hierarchies

• URL: http://arxiv.org/abs/2112.15544v1
• Date: Fri, 31 Dec 2021 16:46:45 GMT
• Title: OWLOOP: A Modular API to Describe OWL Axioms in OOP Objects Hierarchies
• Authors: Luca Buoncompagni, Syed Yusha Kareem, and Fulvio Mastrogiovanni
• Abstract summary: OWL is an Application Programming Interface (API) for using the Ontology Web Language (OWL) by the means of Object-Oriented Programming (OOP) We present an extension to the OWL-API to provide a general-purpose interface between axioms subject to reasoning and modular OOP objects hierarchies.
• Score: 0.5161531917413706
• License: http://creativecommons.org/licenses/by-sa/4.0/
• Abstract: 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 modularity. If the components of an architecture also exploit OWL ontologies for knowledge representation and reasoning, they would require to be interfaced with OWL axioms. Since OWL does not adhere to the OOP paradigm, such an interface often leads to boilerplate code affecting modularity, and OWLOOP is designed to address this issue as well as the associated computational aspects. We present an extension of the OWL-API to provide a general-purpose interface between OWL axioms subject to reasoning and modular OOP objects hierarchies.

Related papers

• Executable Ontologies in Game Development: From Algorithmic Control to Semantic World Modeling [51.56484100374058]
  We argue that Executable Ontologies (EO) represent a transition from algorithmic behavior programming to semantic world modeling.<n>We show how EO achieves prioritybased task interruption through dataflow conditions rather than explicit preemption logic.
  arXiv  Detail & Related papers  (2026-01-12T19:57:35Z)
• OWLAPY: A Pythonic Framework for OWL Ontology Engineering [7.984370990908576]
  OWLAPY is a comprehensive Python framework for the creation, modification, and serialization of OWL 2.<n>It integrates native Python-based reasoners with support for external Java reasoners, offering flexibility for users.<n> OWLAPY serves as a well-tested software framework for users seeking a flexible Python library for advanced engineering.
  arXiv  Detail & Related papers  (2025-11-11T13:32:14Z)
• Data Dependency-Aware Code Generation from Enhanced UML Sequence Diagrams [54.528185120850274]
  We propose a novel step-by-step code generation framework named API2Dep.<n>First, we introduce an enhanced Unified Modeling Language (UML) API diagram tailored for service-oriented architectures.<n>Second, recognizing the critical role of data flow, we introduce a dedicated data dependency inference task.
  arXiv  Detail & Related papers  (2025-08-05T12:28:23Z)
• HiVeGen -- Hierarchical LLM-based Verilog Generation for Scalable Chip Design [55.54477725000291]
  HiVeGen is a hierarchical Verilog generation framework that decomposes generation tasks into hierarchical submodules. automatic Design Space Exploration (DSE) into hierarchy-aware prompt generation, introducing weight-based retrieval to enhance code reuse. Real-time human-computer interaction to lower error-correction cost, significantly improving the quality of generated designs.
  arXiv  Detail & Related papers  (2024-12-06T19:37:53Z)
• Interactive and Expressive Code-Augmented Planning with Large Language Models [62.799579304821826]
  Large Language Models (LLMs) demonstrate strong abilities in common-sense reasoning and interactive decision-making. Recent techniques have sought to structure LLM outputs using control flow and other code-adjacent techniques to improve planning performance. We propose REPL-Plan, an LLM planning approach that is fully code-expressive and dynamic.
  arXiv  Detail & Related papers  (2024-11-21T04:23:17Z)
• A Solution-based LLM API-using Methodology for Academic Information Seeking [49.096714812902576]
  SoAy is a solution-based LLM API-using methodology for academic information seeking. It uses code with a solution as the reasoning method, where a solution is a pre-constructed API calling sequence. Results show a 34.58-75.99% performance improvement compared to state-of-the-art LLM API-based baselines.
  arXiv  Detail & Related papers  (2024-05-24T02:44:14Z)
• OWLOOP: Interfaces for Mapping OWL Axioms into OOP Hierarchies [3.0501524254444767]
  The paper tackles the issue of mapping logic axioms formalised in the Ontology Web Language (OWL) within the Object-Oriented Programming (OOP) paradigm. We present the OWLOOP API, which exploits the factory to not limit reasoning algorithms.
  arXiv  Detail & Related papers  (2024-04-14T17:07:59Z)
• Comments as Natural Logic Pivots: Improve Code Generation via Comment Perspective [85.48043537327258]
  We propose MANGO (comMents As Natural loGic pivOts), including a comment contrastive training strategy and a corresponding logical comment decoding strategy. Results indicate that MANGO significantly improves the code pass rate based on the strong baselines. The robustness of the logical comment decoding strategy is notably higher than the Chain-of-thoughts prompting.
  arXiv  Detail & Related papers  (2024-04-11T08:30:46Z)
• OOP: Object-Oriented Programming Evaluation Benchmark for Large Language Models [85.73744378691727]
  This study introduces a pioneering OOP-focused benchmark, featuring 431 Python programs. We propose a novel evaluation metric, pass@o, tailored for OOP, enhancing traditional pass@k measures.
  arXiv  Detail & Related papers  (2024-01-12T15:21:36Z)
• An In-Context Schema Understanding Method for Knowledge Base Question Answering [70.87993081445127]
  Large Language Models (LLMs) have shown strong capabilities in language understanding and can be used to solve this task. Existing methods bypass this challenge by initially employing LLMs to generate drafts of logic forms without schema-specific details. We propose a simple In-Context Understanding (ICSU) method that enables LLMs to directly understand schemas by leveraging in-context learning.
  arXiv  Detail & Related papers  (2023-10-22T04:19:17Z)
• Coding by Design: GPT-4 empowers Agile Model Driven Development [0.03683202928838613]
  This research offers an Agile Model-Driven Development (MDD) approach that enhances code auto-generation using OpenAI's GPT-4. Our work emphasizes "Agility" as a significant contribution to the current MDD method, particularly when the model undergoes changes or needs deployment in a different programming language. Ultimately, leveraging GPT-4, our last layer auto-generates code in both Java and Python.
  arXiv  Detail & Related papers  (2023-10-06T15:05:05Z)
• When one Logic is Not Enough: Integrating First-order Annotations in OWL Ontologies [0.0]
  We present a tool that supports the development of an 'FOWL' set of axioms that extend OWL with FOL annotations. We show that for the OWL domain OBI, the stronger integration with its FOL top-level BFOWL enables us to detect several inconsistencies.
  arXiv  Detail & Related papers  (2022-10-07T12:33:35Z)
• Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests [63.37657467996478]
  Article shows that the concept of class is general enough to describe not only "objects" in a narrow sense but also scenarios such as use cases and user stories. Having a single framework opens the way to requirements that enjoy the benefits of both approaches.
  arXiv  Detail & Related papers  (2022-09-06T02:47:20Z)
• Consistency of UML class, object and statechart diagrams using ontology reasoners [0.0]
  We propose an automatic approach to analyze consistency and satisfiability of Unified Modeling Language models containing multiple class, object and statechart diagrams. We describe how to translate models in OWL 2 and we present a tool chain implementing this translation that can be used with any standard compliant modeling tool.
  arXiv  Detail & Related papers  (2022-05-23T10:29:32Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.