1. What are the contributions in "Querying formal contexts with answer set programs" ?
Based on these results for combining hierarchical knowledge with classical rule-based formalisms, the authors introduce an expressive common-sense query language for formal contexts.. Although this approach is conceptually based on order-theoretic paradigms, the authors show how it can be implemented on top of standard ASP systems.
read more
2. What is the meaning of the resulting ground atoms?
The resulting ground atoms, i.e. atomic formulae such as object(b) and outof_ext(1), can then be understood as propositional variables, and the semantics given earlier can be derived.
read more
3. What is the definition of a coherent algebraic cpo?
Coherency of an algebraic cpo implies that the set of all minimal upper bounds of a finite number of compact elements is finite, i.e. if c1, . . . , cn are compact elements, then the set mub{c1, . . . , cn} of minimal upper bounds of these elements is finite.
read more
4. What is the name of the concept lattice?
The set B(K) of all concepts of K is a complete lattice with respect to the order defined by (O1, A1) ≤ (O2, A2) if and only if O1 ⊆ O2, which is equivalent to the condition A2 ⊆ A1. B(K) is called the concept lattice of K.
read more
