Incorporating Generalized Quantifiers Into Description Logic For Representing Data Source Contents.
Steven Yi-Cheng TuStuart E. MadnickPublished in: DS-7 (1997)
Keyphrases
- description logics
- data sources
- knowledge base
- knowledge representation
- reasoning tasks
- dl lite
- concept descriptions
- computing least common subsumers
- computational properties
- ontology languages
- semantic web
- natural language
- model theoretic
- logical implication
- reasoning services
- ontology reasoning
- first order logic
- data sets
- reasoning problems
- metadata
- data integration
- information sources
- snomed ct
- database systems