As new semantic web standards evolve to allow quantified rules in FOL, we need new ways to capture them from end users. We show how to do this against a graphic view of entities and their relationships (not just their subclasses). Some of these relationships can be derived from data values by algebraic expressions. For example scientists may use ad hoc lists of numbers instead of SQL key-matchi...

Within the setting of object-oriented program specification and verification, pointers and object references can be considered as relations between the elements of a data structure. When we specify properties of these data structures, we often describe properties of relations. Hence it is important to be able to talk about relations and their properties when specifying object-oriented programs ...

We study the foundation of space-time theory in the framework of first-order logic (FOL). Since the foundation of mathematics has been successfully carried through (via set theory) in FOL, it is not entirely impossible to do the same for space-time theory (or relativity). First we recall a simple and streamlined FOL-axiomatization Specrel of special relativity from the literature. Specrel is co...

First-Order Logic, Description Logics, Frame Logic and (declarative) Logic Programming are important paradigms for describing and reasoning with ontologies and services on the Semantic Web. There have been attempts at combining these paradigms, most notably Description Logics and Logic Programming, but there is currently no unifying semantic framework which brings these paradigms together. In t...

Målet med artikkelen er å undersøke hvorvidt to retterbøter i håndskriftet GKS 1154 fol skrevet av forskjellige hender eller én og samme hånd, basert på en paleografisk analyse. Antall skriverhender for de retterbøtene kan ha betydning håndskriftets proveniens. Retterbøtene inn hver sin del – deler som utgangspunktet produsert henholdsvis Bergen 1300-tallet Nidaros 1400-tallet, et senere tidspu...

Description logic SHOIQ is widely used for defining ontologies. Recently, rules are added to DL to increase its expressive power. We present a reasoner for DL with rules that translates the DL reasoning task into first order logic, performs reasoning in FOL, and interprets the result in terms of DL with rules. We compare the performance of our reasoner with tableax-based reasoners for DL (which...

Ni-base catalysts are promising candidate for the hydrogenation of furfural (FAL) to high-value chemicals. However, slow intermediate desorption and low selectivity limit its implementation. Identifying catalytic performance each active sites is vital design catalyst, tuning geometrical at molecule level in PtNi could lead modification electronic structure, thus selectity FAL was modulated. Her...

First order logic FOL ooers a natural way o f modeling domains such as chemistry: a molecule is most adequately described as a graph of atoms linked by simple or double bonds. To o vercome the speciic diiculties of dealing with FOL, this paper presents an automatic mapping from the initial problem domain onto the set of integer vectors IN d , where d is a user-supplied integer. This mapping ont...