Copertina

Capabilities: An Ontology

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Beverley, John, Limbaugh, David, Merrell, Eric, Koch, Peter M., Smith, Barry
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Artificial Intelligence Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

The Common Core Ontologies
di: Jensen, Mark, et al.
Pubblicazione: (2024)

A semantic approach to mapping the Provenance Ontology to Basic Formal Ontology
di: Prudhomme, Tim, et al.
Pubblicazione: (2024)

Middle Architecture Criteria
di: Beverley, John, et al.
Pubblicazione: (2024)

Ontological Foundations of State Sovereignty
di: Beverley, John, et al.
Pubblicazione: (2025)

Towards a Cyber Information Ontology
di: Limbaugh, David, et al.
Pubblicazione: (2024)

A Fourfold Pathogen Reference Ontology Suite
di: Babcock, Shane, et al.
Pubblicazione: (2024)

Commonsense Ontology Micropatterns
di: Eells, Andrew, et al.
Pubblicazione: (2024)

Substrate Stability Under Persistent Disagreement: Structural Constraints for Neutral Ontological Substrates
di: Case, Denise M.
Pubblicazione: (2026)

SHACL Validation in the Presence of Ontologies: Semantics and Rewriting Techniques
di: Oudshoorn, Anouk, et al.
Pubblicazione: (2025)

FALCON: Scalable Reasoning over Inconsistent ALC Ontologies
di: Hinnerichs, Tilman, et al.
Pubblicazione: (2022)

Enriching Ontologies with Disjointness Axioms using Large Language Models
di: Crum, Elias, et al.
Pubblicazione: (2024)

The Ontology for Agents, Systems and Integration of Services: OASIS version 2
di: Bella, Giampaolo, et al.
Pubblicazione: (2023)

The Shape of a Benedictine Monastery: The SaintGall Ontology (Extended Version)
di: Cantale, Claudia, et al.
Pubblicazione: (2017)

Repairing Networks of $\mathcal{EL_\perp}$ Ontologies using Weakening and Completing -- Extended version
di: Li, Ying, et al.
Pubblicazione: (2024)

Capability Safety as Datalog: A Foundational Equivalence
di: Spera, Cosimo
Pubblicazione: (2026)

Automated Process Planning Based on a Semantic Capability Model and SMT
di: Köcher, Aljosha, et al.
Pubblicazione: (2023)

Towards Fast Algorithms for the Preference Consistency Problem Based on Hierarchical Models
di: George, Anne-Marie, et al.
Pubblicazione: (2024)

Subject-Event Ontology Without Global Time: Foundations and Execution Semantics
di: Boldachev, Alexander
Pubblicazione: (2025)

Can Large Language Models Understand DL-Lite Ontologies? An Empirical Study
di: Wang, Keyu, et al.
Pubblicazione: (2024)

Ontology for Policing: Conceptual Knowledge Learning for Semantic Understanding and Reasoning in Law Enforcement Reports
di: Srbinovska, Anita, et al.
Pubblicazione: (2026)

You-Only-Randomize-Once: Shaping Statistical Properties in Constraint-based PCG
di: Katz, Jediah, et al.
Pubblicazione: (2024)

Satisfiability Solving with LLMs: A Matched-Pair Evaluation of Reasoning Capability
di: Zhang, Leizhen, et al.
Pubblicazione: (2026)

Increasing the LLM Accuracy for Question Answering: Ontologies to the Rescue!
di: Allemang, Dean, et al.
Pubblicazione: (2024)

Ontological foundations for contrastive explanatory narration of robot plans
di: Olivares-Alarcos, Alberto, et al.
Pubblicazione: (2025)

Reasoning Capabilities of Large Language Models. Lessons Learned from General Game Playing
di: Świechowski, Maciej, et al.
Pubblicazione: (2026)

Abductive Reasoning in a Paraconsistent Framework
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2024)

Similarity-based analogical proportions
di: Antić, Christian
Pubblicazione: (2024)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
di: Bloch, Isabelle, et al.
Pubblicazione: (2025)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
di: Joyce, Johnny
Pubblicazione: (2025)

Dynamic Logic of Trust-Based Beliefs
di: Jiang, Junli, et al.
Pubblicazione: (2025)

The logic of KM belief update is contained in the logic of AGM belief revision
di: Bonanno, Giacomo
Pubblicazione: (2026)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
di: Xu, Yang, et al.
Pubblicazione: (2025)

Generating $SROI^-$ Ontologies via Knowledge Graph Query Embedding Learning
di: He, Yunjie, et al.
Pubblicazione: (2024)

Differentiable Inductive Logic Programming in High-Dimensional Space
di: Purgał, Stanisław J., et al.
Pubblicazione: (2022)

DeepOnto: A Python Package for Ontology Engineering with Deep Learning
di: He, Yuan, et al.
Pubblicazione: (2023)

Laurel: Unblocking Automated Verification with Large Language Models
di: Mugnier, Eric, et al.
Pubblicazione: (2024)

Enhancing Reasoning Capabilities of LLMs via Principled Synthetic Logic Corpus
di: Morishita, Terufumi, et al.
Pubblicazione: (2024)

Scalable Knowledge Refactoring using Constrained Optimisation
di: Liu, Minghao, et al.
Pubblicazione: (2024)

Large Language Models Imitate Logical Reasoning, but at what Cost?
di: McGinness, Lachlan, et al.
Pubblicazione: (2025)

Defeaters and Eliminative Argumentation in Assurance 2.0
di: Bloomfield, Robin, et al.
Pubblicazione: (2024)