Automated Reasoning Support for Standpoint-OWL 2.

Florian Emmrich Lucía Gómez Álvarez Hannes Strass

Published in: JOWO (2023)

Keyphrases

automated reasoning
knowledge representation
reasoning systems
theorem proving
reasoning tasks
theorem prover
decision procedures
probabilistic reasoning
general purpose
automated verification
neural network
expert systems
dynamic programming
markov random field
semantic web