Translating OWL and semantic web rules into prolog: Moving toward description logic programs.
Ken SamuelLeo ObrstSuzette StoutenburgKaren FoxPaul FranklinAdrian JohnsonKenneth J. LaskeyDeborah NicholsSteve LopezJason PetersonPublished in: Theory Pract. Log. Program. (2008)
Keyphrases
- semantic web
- description logic programs
- ontology mappings
- ontology languages
- description logics
- knowledge representation
- dl programs
- semantic web technologies
- knowledge base
- ontology matching
- linked data
- semantic annotation
- expert systems
- owl dl
- web ontology language
- semantic heterogeneity
- logic programming
- artificial intelligence
- rdf schema
- knowledge management
- interchange format
- owl ontologies
- formal semantics
- inference engine
- production rules
- ontology mapping
- data complexity
- query answering