Querying Class-Relationship Logic in a Metalogic Framework

2011-10-28
Nilsson, Jorgen Fischer
We introduce a class relationship logic for stating various forms of logical relationships between classes. This logic is intended for ontologies and knowledge bases and combinations thereof. Reasoning and querying is conducted in the DATALOC logical language, which serves as an embracing decidable and tractable metalogic.
9th International Conference on Flexible Query Answering Systems (FQAS 2011)

Suggestions

 A Proposed Instructional Theory for Integer Addition and Subtraction Stephan, Michelle; Akyüz, Didem (2012-07-01) This article presents the results of a 7th-grade classroom teaching experiment that supported students' understanding of integer addition and subtraction. The experiment was conducted to test and revise a hypothetical learning trajectory so as to propose a potential instructional theory for integer addition and subtraction. The instructional sequence, which was based on a financial context, was designed using the Realistic Mathematics Education theory. Additionally, an empty, vertical number line (VNL) is p...
 Generalizing predicates with string arguments Cicekli, Ilyas; Çiçekli, Fehime Nihan (Springer Science and Business Media LLC, 2006-08-01) The least general generalization (LGG) of strings may cause an over-generalization in the generalization process of the clauses of predicates with string arguments. We propose a specific generalization (SG) for strings to reduce over-generalization. SGs of strings are used in the generalization of a set of strings representing the arguments of a set of positive examples of a predicate with string arguments. In order to create a SG of two strings, first, a unique match sequence between these strings is found...
 Differential equations with state-dependent piecewise constant argument Akhmet, Marat (Elsevier BV, 2010-06-01) A new class of differential equations with state-dependent piecewise constant argument is introduced. It is an extension of systems with piecewise constant argument. Fundamental theoretical results for the equations the existence and uniqueness of solutions, the existence of periodic solutions, and the stability of the zero solution are obtained. Appropriate examples are constructed.
 Geometry knowledge test about triangles: evidence on validity and reliability Ubuz, Behiye (2018-08-01) In the present study we aimed to develop a multidimensional test assessing high school students' knowledge about triangles, and then to determine the validity evidence for it based on the internal structure and relations to another variable and its reliability. The test developed was administered to 557 tenth grade students. To assess the validity evidence based on the internal structure, the data were analyzed using confirmatory factor analysis, inter-dimension correlations and two-way MANOVA across gender...
 Impulsive Hopfield-type neural network system with piecewise constant argument Akhmet, Marat; Yılmaz, Elanur (2010-08-01) In this paper we introduce an impulsive Hopfield-type neural network system with piecewise constant argument of generalized type. Sufficient conditions for the existence of the unique equilibrium are obtained. Existence and uniqueness of solutions of such systems are established. Stability criterion based on linear approximation is proposed. Some sufficient conditions for the existence and stability of periodic solutions are derived. An example with numerical simulations is given to illustrate our results.
Citation Formats
J. F. Nilsson, “Querying Class-Relationship Logic in a Metalogic Framework,” Ghent, BELGIUM, 2011, vol. 7022, p. 96, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/63397.