Image de couverture de livre

Fitting Description Logic Ontologies to ABox and Query Examples

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Funk, Maurice, Grosser, Marvin, Lutz, Carsten
Format:	Preprint
Publié:	2025
Sujets:	Artificial Intelligence Logic in Computer Science Computing methodologies~Description logics, Computing methodologies~Ontology engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Bulletin of the Section of Logic
Publié: (2020)

Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models
par: Grosser, Marvin, et autres
Publié: (2026)

Multicriteria methodology for decoupling point placement in manufacturing systems
par: Iván D. Gómez J.
Publié: (2017)

PolyFusionAgent: A Multimodal Foundation Model and Autonomous AI Assistant for Polymer Property Prediction and Inverse Design
par: Kaur, Manpreet, et autres
Publié: (2026)

The contribution of action research in the construction of scientific knowledge in Brazilian Production Engineering
par: Daniela Gibertoni
Publié: (2016)

In search of the concepts of the European Union research
par: Stanisław Kaźmierczyk
Publié: (2016)

BMC Medical Research Methodology
Publié: (2003)

Automated Reasoning
Publié: (2024)

Automated Reasoning
Publié: (2024)

A Non-Monotonic Description Logics Model for Merging Terminologies
par: Martín O. Moguillansky
Publié: (2007)

Teaching control theory: a selection of methodology based on learning styles
par: Cinthia Viviana Rojas-Palacio
Publié: (2022)

DeSoftln: A methodological proposal for individual software development
par: Juan Sebastián González-Sanabria
Publié: (2017)

Qualitative research approach in production engineering - an assessment of a research project and a sample of master of science dissertations
par: Paulo Augusto Cauchick Miguel
Publié: (2011)

DESIGN CYCLE OF A ROBOT FOR LEARNING AND THE DEVELOPMENT OF CREATIVITY IN ENGENEERING
par: JUAN SEBASTIÁN ÁLVAREZ CHAVARRÍA
Publié: (2011)

Emergent Time: From Quantum Physics to Social Subjectivity — Conceptual Framework
par: Timofeev, Dmitry
Publié: (2025)

Logical Characterizations of GNNs with Mean Aggregation
par: Schönherr, Moritz, et autres
Publié: (2025)

Queries With Exact Truth Values in Paraconsistent Description Logics
par: Bienvenu, Meghyn, et autres
Publié: (2024)

Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster
par: Lutz, Carsten, et autres
Publié: (2024)

Can You Tell the Difference? Contrastive Explanations for ABox Entailments
par: Koopmann, Patrick, et autres
Publié: (2025)

Integrating Science, Technology, Engineering and Mathematics contents through PBL in an Industrial Engineering and Management first year program
par: Anabela Carvalho Alves
Publié: (2019)

Revista Latinoamericana de Metodologia de la Investigacion Social
Publié: (2013)

NFT1000: A Cross-Modal Dataset for Non-Fungible Token Retrieval
par: Wang, Shuxun, et autres
Publié: (2024)

Solutions to Classical Philosophical Paradoxes: A Systematic Analysis
par: raman, chetan, et autres
Publié: (2025)

Pascal-Weighted Genetic Algorithms: A Binomially-Structured Recombination Framework
par: Basir, Otman A.
Publié: (2025)

Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases
par: Zese, Riccardo, et autres
Publié: (2023)

Spectra of Cardinality Queries over Description Logic Knowledge Bases
par: Manière, Quentin, et autres
Publié: (2024)

Weber no Século XXI: Desafios e Dilemas de um Paradigma Weberiano
par: Carlos Eduardo Sell
Publié: (2014)

Tourism and photography: a bibliometric study of using image analysis methodologies in tourism research
par: Karla Estelita Godoy
Publié: (2019)

Towards Checking Laws' Consistency through Ontology Design: The Case of Brazilian Vehicles' Laws
par: Fred Freitas
Publié: (2011)

Evaluation of a programme for computer-assisted learning
par: Juan Etxeberria
Publié: (2011)

Intention as Operational Orientation: An LO/OOF Account of ``Intention-Like'' AI Behaviour
par: NAKAMURA, Kenji, et autres
Publié: (2025)

Methodology-as-Infrastructure: From Framework to Runtime
par: Shatny, Michael
Publié: (2026)

Appendices to "Three-Level Emergent Architecture of Social Time: From Timeless Information to Collective Temporality"
par: Timofeev, Dmitry
Publié: (2025)

Explanation, Reduction, and Levels of Description: A Structural Ontological Account
par: Surana, Jainil
Publié: (2025)

Logics
Publié: (2024)

Expressive Power of Graph Transformers via Logic
par: Ahvonen, Veeti, et autres
Publié: (2025)

A Difference-in-Differences Framework for Evaluating Transport Depot Maintenance Efficiency in Ethiopia
par: Abebe, Selamawit, et autres
Publié: (2003)

Towards Understanding the Expressive Power of GNNs with Global Readout
par: Funk, Maurice, et autres
Publié: (2026)

Expressive Power of Deep Homomorphism Networks over Relational Databases
par: Schönherr, Moritz, et autres
Publié: (2026)

Journal of Experimental and Theoretical Analyses
Publié: (2025)