Ontohub: Version Control, Linked Data and Theorem Proving for Ontologies.
Eugen KuksaTill MossakowskiPublished in: JOWO@FOIS (2016)
Keyphrases
- theorem proving
- linked data
- version control
- semantic web
- linked open data
- back end
- semantic data
- ontology development
- source code
- configuration management
- first order logic
- theorem prover
- rdf graphs
- using semantic web technologies
- inference rules
- software repositories
- structured data
- semantic web technologies
- consequence finding
- open data
- geometry theorem proving
- semantic technologies
- knowledge representation
- proof planning
- data integration
- software artifacts
- data sources
- knowledge base
- knowledge management
- rdf data
- semantic annotation
- data management
- information technology
- metadata
- data sets