Fitting Ontologies and Constraints to Relational Structures

Simon HosemannSimon Hosemann, Jean Christoph JungJean Christoph Jung, Carsten LutzCarsten Lutz, Sebastian RudolphSebastian Rudolph

ISBN: 978-1-956792-08-9
ISSN: 2334-1033
Download
DOI Link

Simon Hosemann, Jean Christoph Jung, Carsten Lutz, Sebastian Rudolph
Fitting Ontologies and Constraints to Relational Structures
In Magdalena Ortiz, Renata Wassermann, Torsten Schaub, eds., Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, 407–416, 2025. IJCAI Organization

Details
Bibtex

KurzfassungAbstract
We study the problem of fitting ontologies and constraints to positive and negative examples that take the form of a finite relational structure. As ontology and constraint languages, we consider the description logics EL and ELI as well as several classes of tuple-generating dependencies (TGDs): full, guarded, frontier-guarded, frontier-one, and unrestricted TGDs as well as inclusion dependencies. We pinpoint the exact computational complexity, design algorithms, and analyze the size of fitting ontologies and TGDs. We also investigate the related problem of constructing a finite basis of concept inclusions / TGDs for a given set of finite structures. While finite bases exist for EL, ELI, guarded TGDs, and inclusion dependencies, they in general do not exist for full, frontier-guarded and frontier-one TGDs.
Weitere Informationen unter:Further Information: Link
Forschungsgruppe:Research Group: Computational LogicComputational Logic

@inproceedings{HJLR2025,
  author    = {Simon Hosemann and Jean Christoph Jung and Carsten Lutz and
               Sebastian Rudolph},
  title     = {Fitting Ontologies and Constraints to Relational Structures},
  editor    = {Magdalena Ortiz and Renata Wassermann and Torsten Schaub},
  booktitle = {Proceedings of the 22nd International Conference on Principles of
               Knowledge Representation and Reasoning},
  publisher = {IJCAI Organization},
  year      = {2025},
  pages     = {407{\textendash}416},
  doi       = {10.24963/kr.2025/40}
}