Querying Class-Relationship Logic in a Metalogic Framework

Date

2011-10-28

Author

Nilsson, Jorgen Fischer

Metadata

Show full item record

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Item Usage Stats

17
views

0
downloads

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.

Subject Keywords

Querying Knowledge Bases And Ontologies, DATALOG As Metalogic, Analytic Vs. Synthetic Knowledge

URI

https://hdl.handle.net/11511/63397

Conference Name

9th International Conference on Flexible Query Answering Systems (FQAS 2011)

Collections

Department of Computer Engineering, Conference / Seminar

Suggestions

OpenMETU
Core

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...
Periodic solutions and stability of differential equations with piecewise constant argument of generalized type Büyükadalı, Cemil; Akhmet, Marat; Department of Mathematics (2009) In this thesis, we study periodic solutions and stability of differential equations with piecewise constant argument of generalized type. These equations can be divided into three main classes: differential equations with retarded, alternately advanced-retarded, and state-dependent piecewise constant argument of generalized type. First, using the method of small parameter due to Poincaré, the existence and stability of periodic solutions of quasilinear differential equations with retarded piecewise constant...

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.