A note on the axiom of choice in Leśniewski's ontology.
Charles C. DavisPublished in: Notre Dame J. Formal Log. (1976)
Keyphrases
- domain knowledge
- knowledge representation
- knowledge base
- domain specific
- semantic web
- semantic annotation
- domain ontology
- semantically enhanced
- ontology mapping
- semantic query
- ontology driven
- owl ontologies
- semi automatically
- semantic information
- ontology reasoning
- requirement analysis
- owl dl ontologies
- semantic representation
- ontology learning
- machine learning
- concept hierarchy
- artificial intelligence