Trimming a consistent OWL knowledge base, relying on linguistic evidence

Most entailments fit well with our knowledge about the Stevens family, yet some unexpected relationships were found, mainly due to the way we chose to model isSiblingOf: recall

We automatically constructed our prototype by collecting the quantitative and semantic infor- mation available in a set of 94 human physiology models obtained from the

In the non-emptiness problem for universal solutions the input is the same, except for K 2 , and the question to answer is whether a universal solution K 2 exists (analogously

The analysis developed resolves a tension: on the one hand, the number of syllables for numerals until 4 (but crucially not for 5) seems to express the exact cardinality of

The developed ontology repository based on the graph KB allows the developer to interact with the repository con- tents in the most familiar way - to build queries to the graph

This task, named slot filling, is evaluated in the KBP evaluation 1 in which systems must ex- tract instances of around 40 relation types related to several kinds of entities

KDEL facilitates to solution-solver or product developers to be familiar with the language of domain specialist; hence it minimizes the difficulties involved by

3.4 Temporal Arguments as Extra Arguments So far, our approach has argued for a direct encoding of the temporal extent through two further arguments, turning a binary relation, such