FOWL - An OWL to FOL Translator.
Simon FlügelAnna KleinauFabian NeuhausMartin GlauerJanna HastingsPublished in: JOWO (2021)
Keyphrases
- knowledge representation
- first order logic
- semantic web
- knowledge base
- rdf knowledge bases
- theorem proving
- inference rules
- artificial intelligence
- object oriented programming language
- semantic web technologies
- owl ontologies
- logic programming
- description logics
- data sets
- open world
- ontology languages
- rule language
- databases
- ontology reasoning
- web ontology language
- formal semantics
- data mining
- theorem prover
- expressive power
- bayesian networks