iCon: A Diagrammatic Theorem Prover for Ontologies.
Zohreh ShamsMateja JamnikGem StapletonYuri SatoPublished in: KR (2018)
Keyphrases
- theorem prover
- theorem proving
- first order logic
- automated reasoning
- automated theorem proving
- inference rules
- term rewriting
- semantic web
- formal proof
- knowledge base
- knowledge representation
- computer algebra
- higher order logic
- formal semantics
- boolean algebra
- proof search
- natural deduction
- mathematical knowledge
- semantic relations
- ontology matching
- timed automata
- domain ontology
- predicate calculus
- semantic technologies
- owl ontologies
- domain specific
- ontology mapping
- supervised learning