When one Logic is Not Enough: Integrating First-order Annotations in OWL Ontologies.

Simon Flügel Martin Glauer Fabian Neuhaus Janna Hastings

Published in: CoRR (2022)

Keyphrases

owl ontologies
semantic annotation
linear temporal logic
production rules
description logics
domain ontology
ontology languages
first order logic
semantic web
knowledge base
database schema
metadata
neural network
rule language
modal logic
high level
artificial intelligence