Using Aber-OWL for fast and scalable reasoning over BioPortal ontologies.
Luke T. SlaterGeorgios V. GkoutosPaul N. SchofieldRobert HoehndorfPublished in: ICBO (2015)
Keyphrases
- web ontology language
- owl dl
- ontology reasoning
- reasoning services
- knowledge representation
- semantic web
- description logics
- ontology languages
- knowledge base
- owl ontologies
- ontological reasoning
- expressive description logics
- semantic description
- markup language
- semantic web technologies
- reasoning problems
- reasoning systems
- modular ontologies
- domain knowledge
- open world
- world wide
- reasoning engine
- domain ontology
- reasoning mechanism
- reasoning with inconsistent
- mathcal shiq
- web ontologies
- infectious disease
- reasoning tasks
- formal semantics
- ontology engineering
- semantic web ontologies
- production rules
- web ontology language owl
- visualization tool
- ontology mappings
- dl lite
- natural language
- logical reasoning
- conceptual graphs
- query answering
- databases
- expert systems
- biomedical ontologies
- data complexity
- fuzzy ontology
- computational properties
- ontology evolution
- ontology matching