Interval rough mereology and description logic: An approach to formal treatment of imprecision in the Semantic Web ontologies.
Pavel KlinovJulia M. TaylorLawrence J. MazlackPublished in: Web Intell. Agent Syst. (2008)
Keyphrases
- rough mereology
- description logics
- formal treatment
- knowledge representation
- ontology languages
- semantic web
- approximate reasoning
- owl dl
- daml oil
- knowledge base
- ontology reasoning
- web ontology language
- description logic programs
- natural language
- spatial reasoning
- owl ontologies
- dl lite
- ontology mappings
- knowledge engineering
- knowledge acquisition
- expert systems
- dl programs
- artificial intelligence
- knowledge based systems
- reasoning services
- machine learning
- semantic web technologies
- concept descriptions
- ontological knowledge
- fuzzy sets
- formal ontologies
- rough approximations
- reasoning problems
- information granules
- knowledge structures
- first order logic
- fuzzy set theory
- linked data
- fuzzy logic
- interchange format
- formal semantics
- snomed ct
- rough set theory
- knowledge representation languages
- conceptual graphs
- medical terminology