Mathematical Service Matching Using Description Logic and OWL.
Olga CaprottiMike DewarDaniele TuriPublished in: MKM (2004)
Keyphrases
- description logics
- ontology languages
- owl dl
- knowledge base
- semantic web
- web ontology language
- knowledge representation
- ontology reasoning
- reasoning services
- owl ontologies
- ontology mappings
- mathcal shiq
- computational properties
- ontology matching
- terminological knowledge
- reasoning problems
- reasoning tasks
- snomed ct
- knowledge representation languages
- dl lite
- reasoning systems
- concept descriptions
- web services
- reasoning mechanism
- expert systems
- service description
- semantic description
- artificial intelligence
- computing least common subsumers
- web ontology language owl
- semantic web technologies
- semantic heterogeneity
- model theoretic
- data types
- formal semantics
- exptime complete