Axioms for parthood and containment relations in bio-ontologies.
Thomas BittnerPublished in: KR-MED (2004)
Keyphrases
- medical terminology
- semantic relations
- knowledge base
- spatial relations
- set valued attributes
- semantic web
- background knowledge
- knowledge representation
- databases
- automatically created
- first order logic
- conjunctive queries
- information integration
- ontology learning
- description logics
- lexical semantics
- set valued
- horn clauses
- conceptual graphs
- domain specific
- transitive closure
- concept hierarchy
- ontology mapping
- semantic web technologies
- conceptual structures
- query containment
- topic maps
- lexical resources
- domain ontology
- wordnet
- logical theories
- co occurrence