A hybrid approach to constraint reasoning in bio-ontologies.
Ming FangRajshekhar SunderramanPublished in: ICDIM (2012)
Keyphrases
- constraint reasoning
- constraint propagation
- temporal constraints
- temporal reasoning
- semantic web
- path consistency
- databases
- domain ontology
- semantic web technologies
- knowledge representation
- semantic relations
- domain specific
- knowledge base
- arc consistency
- constraint satisfaction
- ontology mapping
- semantic technologies
- high level
- probabilistic reasoning
- constraint programming
- ontology matching
- ontology alignment