The demands placed on a knowledge representation scheme by a knowledge-based system are generally not all met by any of today’s candidates. Representation languages based on frames or semantic networks have intuitive appeal for forming descriptions but tend to have severely limited assertional power, and are often fraught with ambiguous readings. Those based on first-order logic are less limite...

The basic building blocks of Description Logics (DLs) in general are concept and role constructors (e. g. , intersection, union, nominals, negation etc.), terminological as well as individual axioms. Combining axioms, meaningful statements can be expressed. Additional axiom constructors (so-called syntactical sugar) has been introduced in most ontology language (such as OWL and OWL 2 [1]) in or...

Regardless of academic discipline or future career responsibilities, college students are challenged to meet employers’ demand for strong communication skills. However, becoming an effective, professional writer is a struggle many students. Based upon concepts writing self-efficacy and apprehension, the Media Writing Self-Perception (MWSP) scale was administered undergraduate in writing-intensi...

XAP/1 was a constraint-based planner designed to generate plans for the manufacture of mechanical assemblies. In order to extend it to be able to generate plans utilizing subassemblies the constraint language must be extended. It has been proposed elsewhere that deepest common ancestor relations can form the basis for such a system[1]. This report serves to provide a formal basis for the use of...

In this paper, we present the design process of a novel solution for enabling the collaboration between OpenStack cloud systems in SAML federations with standalone attribute authorities, such as national research and education federations or eduGAIN. The software solution that realizes the integration of systems serves as a case study to show how abstract desirable engineering properties fixed ...

Two experiments were performed to investigate the conditions affecting lack-of-knowledge inferences. The lack-of-knowledge inference is a metainference, an inference based on knowledge about one's own knowledge, in which the absence of information concerning a possible assertion is taken as evidence that the assertion is false. In Experiment 1, it was shown that lack of knowledge about an asser...

Assertion is fundamental to our lives as social and cognitive beings. Philosophers have recently built an impressive case that the norm of assertion is factive. That is, you should make an assertion only if it is true. Thus far the case for a factive norm of assertion been based on observational data. This paper adds experimental evid­ ence in favor of a factive norm from six studies. In these ...

Assertion is fundamental to our lives as social and cognitive beings. Philosophers have recently built an impressive case that the norm of assertion is factive. That is, you should make an assertion only if it is true. Thus far the case for a factive norm of assertion been based on observational data. This paper adds experimental evidence in favor of a factive norm from six studies. In these st...

This paper describes an approach to assertion classification and an empirical study on the impact this task has on phenotype identification, a real world application in the clinical domain. The task of assertion classification is to assign to each medical concept mentioned in a clinical report (e.g., pneumonia, chest pain) a specific assertion category (e.g., present, absent, and possible). To ...

Assertion checking is the restriction of program verification to validity of program assertions. It encompasses safety checking, which is program verification of safety properties, like memory safety or absence of overflows. In this paper, we consider assertion checking of program parts instead of whole programs, which we call modular assertion checking. Classically, modular assertion checking ...