Combining Description Logic and Defeasible Logic for the Semantic Web.
Kewen WangDavid BillingtonJeff BleeGrigoris AntoniouPublished in: RuleML (2004)
Keyphrases
- description logics
- defeasible logic
- knowledge representation and reasoning
- semantic web
- ontology languages
- knowledge base
- knowledge representation
- owl dl
- ontology reasoning
- owl ontologies
- daml oil
- highly expressive
- rule base
- web ontology language
- ontology mappings
- description logic programs
- knowledge representation languages
- reasoning systems
- snomed ct
- reasoning tasks
- dl lite
- reasoning problems
- business rules
- concept descriptions
- nonmonotonic reasoning
- artificial intelligence
- logic programming
- nonmonotonic logics
- legal reasoning
- metadata
- incomplete information
- fixed point