Ontology design is a complex and time-consuming process. It is extremely difficult for human experts to discover ontology from given data or texts. This paper presents a semi-automatic method for ontology extraction and design. The method is based on Formal Concept Analysis and a Horn clause model of a concept lattice. Inputs to the technique are domain-specific texts or data. After transformat...

Models of interference in sentence processing claim that object relative clauses are harder to process than subject relatives due to interference between the subject and object noun phrase. The interference effect for object relatives at the verb should be more pronounced when the two noun phrases retrieved from memory are similar. To test this, two eye tracking experiments manipulated whether ...

Abstract The current study presents an analysis of a linguistic device supporting interactional coherence in computer-mediated communication (CMC). focused on the use German causative conjunction weil and, more specifically, syntactic variation verb-final versus verb-second word order -clause. Verb-final indicates dependent clause, whereas independent clause. While only former is accepted writt...

A clause is a disjunction of literals. We use set notation; a set of literals denotes the clause that is their disjunction. The empty clause is denoted by . The width of a clause C, denoted |C|, is the number of literals in it. The width of a CNF formula F , denoted width(F ), is the maximum width of any clause in F . For a partial assignment ρ, C|ρ denotes the restriction of the clause C by ap...