Combining representation formalisms for reasoning upon mathematical knowledge - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Combining representation formalisms for reasoning upon mathematical knowledge

Résumé

Knowledge in mathematics (definitions, theorems, proofs, etc.) is usually expressed in a way that combines natural language and mathematical expressions (e.g. equations). Using an ontology formalism such as OWL DL is well-suited for formalizing the natural language part, but complex mathematical expressions can be better handled by symbolic computation systems. We examine this representation issue and propose an original extension of OWL DL by call formulas, i.e., formulas from which assertions can be drawn thanks to calls to external functions. Using this formalism makes it possible to classify a mathematical problem defined by its relations to instances and classes and by some mathematical expressions: if a theorem for solving this problem is represented in the knowledge base, it can be retrieved, and thus, the problem can be solved by applying this theorem. We describe an inference algorithm and discuss its properties as well as its limitations. Indeed, the proposed extension, algorithm, and implementation represent a first step towards a combined formalism for representing mathematical knowledge, with some open issues regarding the representation of more complex problems: the resolution of multiscale, multiphysics cases in physics are foreseen.
Fichier principal
Vignette du fichier
RepresentingTheoremsInDLRewritingFormalism (5).pdf (553.42 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04315073 , version 1 (30-11-2023)

Identifiants

Citer

Mathieu D’aquin, Renata Bunoiu, Horatiu Cirstea, Michel Lenczner, Jean Lieber, et al.. Combining representation formalisms for reasoning upon mathematical knowledge. K-CAP '23: Knowledge Capture Conference 2023, Dec 2023, Pensacola FL USA, United States. pp.180-187, ⟨10.1145/3587259.3627549⟩. ⟨hal-04315073⟩
85 Consultations
23 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More