DR-Prolog: A System for Reasoning with Rules and Ontologies on the Semantic Web.
Antonis BikakisGrigoris AntoniouPublished in: AAAI (2005)
Keyphrases
- knowledge representation
- description logic programs
- knowledge base
- inference engine
- owl ontologies
- production rules
- semantic web
- dl programs
- backward chaining
- rule based reasoning
- description logics
- ontology engineering
- owl dl
- ontology reasoning
- rule language
- ontology evolution
- reasoning mechanisms
- ontology languages
- expert systems
- web ontology language
- semantic web technologies
- ontology learning
- semantic technologies
- logic programming
- ontology mappings
- background knowledge
- ontology matching
- knowledge acquisition
- forward chaining
- domain ontology
- ontology alignment
- reasoning services
- reasoning with inconsistent
- modular ontologies
- logical rules
- reasoning problems
- business rules
- first order logic
- rule base
- multi context systems
- reasoning mechanism
- ontology mapping
- web ontologies
- programming language
- domain experts
- knowledge organization
- formal ontologies
- knowledge engineers
- dl lite
- semi automatic
- natural language
- logical reasoning
- default rules
- current web
- semantic annotation
- uncertain information
- horn clauses
- data complexity
- topic maps
- answer sets