Automated reasoning support for Standpoint-OWL 2.
Florian EmmrichLucía Gómez ÁlvarezHannes StrassPublished in: CoRR (2023)
Keyphrases
- automated reasoning
- knowledge representation
- reasoning systems
- probabilistic reasoning
- reasoning tasks
- semantic web technologies
- propositional satisfiability
- decision procedures
- theorem prover
- artificial intelligence
- semantic web
- general purpose
- supervised learning
- search algorithm
- knowledge representation and reasoning
- bayesian networks
- learning algorithm
- automated verification