The planner and OWL reasoning module
Temporal Representation and Reasoning in OWL 2
... unknown. Reasoning over all types of temporal information (such as the above) is also an important research ...and OWL axioms leading to a sound, complete and tractable reasoning procedure based on ...
20
Representing and Reasoning over Topological Relations in OWL
... the OWL SameAs ...the OWL SameAs ...all OWL compliant rea- soners will treat objects representing two equal regions as identical and there is no need to add SWRL rules for rea- soning over the EQ ...
11
OWL-based reasoning methods for validating archetypes
... in OWL format. The validation method consists of reasoning on those ontologies to find mod- eling errors in archetypes: incorrect restrictions over the reference model, non-conformant archetype ...
14
Module: Mathematical Reasoning
... Compare two cell phone plans through examples of different usage Write equations to model allocation of money for cell phone usage Graph and solve a system of equations Analyze the solution and the meaning of the graph ...
6
A Parallel Computing Architecture for High-Performance OWL Reasoning
... Department of Computer Science and Software Engineering, Concordia University, Montr´eal, Canada Abstract The Web Ontology Language (OWL) is a widely used knowledge represen- tation language for describing ...
27
A Non-Standard Approach for the OWL Ontologies Checking and Reasoning
... and reasoning service for OWL ...parse OWL ontology ...ontology reasoning and complex-property reasoning which are different from traditional ontology ...
8
CHRONOS: A Reasoning Engine for Qualitative Temporal Information in OWL
... intervals. Reasoning is realized by means of SWRL rules implementing the allowable compositions over the supported (tractable) relation set combined with OWL ...[12]. Reasoning is embedded within the ...
8
Combining OWL with RCC for Spatioterminological Reasoning on Environmental Data
... an OWL DL knowledge base as a key component which holds the classes, properties and individuals necessary to semantically and spa- tially pre-process user input such as search terms before searching the ...in ...
10
Rule-based OWL Reasoning for specific Embedded Devices
... standard OWL reasoner on the specified embedded system, because existing OWL reasoner are too resource inten- sive and difficult to port to embedded and source restricted ...achieve OWL ...
16
Improving OWL RL reasoning in N3 by using specialized rules
... the OWL RL profile which is designed to enable rule-based reasoners to draw the right conclusions from ontology data and con- ...improve OWL RL reasoning performance by adding an extra ...
13
Integrating reasoning and clinical archetypes using OWL ontologies and SWRL rules
... a module of the openEHR Java Implementation ...Moreover, reasoning on archetypes can offer consistency checks that help validating archetypes and guarantee- ing data ...
11
CiteSeerX — Reasoning about Autonomous Processes in an Estimated-Regression Planner ∗
... (ER) planner to reason about autonomous pro- cesses that run and have continuous and discrete effects with- out the planning agent’s intervention (although the planner may take steps to get processes ...
10
Module extraction via query inseparability in OWL 2 QL
... role names 145 76 64 30 31 For comparison, we extracted modules from OWL 2 QL approximations of the well-known IMDB and LUBM ontologies. For each of these ontologies, we ran- domly generated 20 signatures Σ of 5 ...
12
Using OWL reasoning to support the generation of novel gene sets for enrichment analysis
... Conclusions Our work demonstrates how the logical structure of the GO can be used to achieve biologically meaningful map- pings between concepts in external controlled vocabu- laries and corresponding sets of GO terms, ...
10
Spatio-temporal reasoning in CIDOC CRM: an hybrid ontology with GeoSPARQL and OWL-Time
... supported. OWL-Time provides approximately the same schema with property owl:Thing time:hastime time:TemporalEntity, which ...This OWL-Time property coming from any domain allows easily ...
14
A reasoning module for distributed clinical decision support systems
... This is a data entry point in the guideline for the retrieval of patient information. This Question task is linked to five other tasks through the hasAlternativeTask prop- erty, which means that these tasks should be ...
10
Exploring Incremental Reasoning Approaches Based on Module Extraction
... Keywords: Module Extraction, Incremental Reasoning, Classification, Knowledge Base, Description Logic 1 Introduction and Motivation During the evolution of the Semantic Web from 2001 until now new ...
12
An OWL Ontology for Fuzzy OWL 2
... an OWL ontology to represent fuzzy extensions of the OWL and OWL 2 ...some reasoning with the meta-model by using standard OWL ...from OWL 2 into FuzzyOwl2Ontology ...
10
The OWL API: A Java API for OWL Ontologies
... of reasoning with OWL ontologies, supporting tasks such as tasks such as consistency checking, computation of class or prop- erty hierarchies and axiom ...the OWL Test Cases [11]) can allow system- ...
10
OWL-Miner: Concept Induction in OWL Knowledge Bases
... 3.2.1.1 Reasoning Tasks in Description Logics Given a knowledge base, the set of assertions in A comprise the base set of explicit information asserted about a domain, such as that certain named individuals repre- ...
242