conftrace_

formal ontology

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

class classification (1) multiple contraction (1) system of sphere (1) partial meet contraction (1) network of theories (1) contraction operator (1) theory integration (1) distributed ontology language (1) ontology network (1) inference rule (1)

Papers

Inferring Ontological Categories of OWL Classes Using Foundational Rules (Extended Abstract) IJCAI 2024 Orchestrating a Network of Mereotopological Theories: An Abridged Report IJCAI 2018 Construction of System of Spheres-based Transitively Relational Partial Meet Multiple Contractions: An Impossibility Result (Extended Abstract) IJCAI 2017