Verifying OWL and ORL Ontologies in PVS.
Jin Song DongYuzhang FengYuan-Fang LiPublished in: ICTAC (2004)
Keyphrases
- semantic web
- ontology languages
- semantic web technologies
- owl ontologies
- knowledge representation
- ontology mappings
- owl dl
- description logics
- ontology reasoning
- knowledge base
- web ontology language
- reasoning services
- face recognition
- feature extraction
- domain ontology
- facial images
- semantic technologies
- face identification
- conceptual modeling
- ontological reasoning
- data complexity
- databases
- formal semantics
- theorem proving
- web ontologies
- face databases
- formal verification
- semantic web standards
- fuzzy ontology
- rule language
- metadata
- subspace methods
- linear discriminant analysis
- semantic annotation
- web resources
- production rules
- first order logic
- domain specific
- domain knowledge
- ontology matching
- current web
- xml schema
- semantic heterogeneity
- conceptual graphs
- markup language
- timed automata
- semantic description
- conceptual models
- information integration
- topic maps
- query answering
- computer vision