Computing Utility from Weighted Description Logic Preference Formulas.
Azzurra RagoneTommaso Di NoiaFrancesco M. DoniniEugenio Di SciascioMichael P. WellmanPublished in: DALT (2009)
Keyphrases
- description logics
- knowledge base
- computational properties
- knowledge representation
- semantic web
- knowledge representation and reasoning
- snomed ct
- reasoning tasks
- utility function
- dl lite
- reasoning problems
- owl dl
- ontology languages
- concept descriptions
- computing least common subsumers
- logical implication
- reasoning services
- ontology reasoning
- model theoretic
- modal operators
- terminological knowledge
- inductive learning
- query processing