Keyphrases
- answer set programming
- web applications
- knowledge representation
- semantic web technologies
- semantic web
- ontology alignment
- inference rules
- databases
- theorem proving
- domain specific
- ontology mapping
- semantic technologies
- domain ontology
- ontology integration
- ontology matching
- semantically rich
- knowledge base
- automated theorem proving
- computer algebra
- theorem prover
- semantic relationships
- data sets
- semantic relations
- information systems
- information retrieval
- neural network
- logic programs
- data management
- ontological framework
- disparate data sources