A Consequence-based Algebraic Calculus for SHOQ
نویسندگان
چکیده
In this paper, we present a novel consequence-based algorithm to perform subsumption reasoning in SHOQ, which support nominals and Qualified Cardinality Restrictions (QCRs). Our algorithm maps numerical restrictions imposed by QCRs or nominals to inequalities and determines the feasibility of inequality systems by means of Integer Linear Programming.
منابع مشابه
Algebraic tableau reasoning for the description logic SHOQ
Semantic web applications based on the web ontology language (OWL) often require the use of numbers in class descriptions for expressing cardinality restrictions on properties or even classes. Some of these cardinalities are specified explicitly but quite a few are entailed and need to be discovered by reasoning procedures. Due to the description logic (DL) foundation of OWL those reasoning ser...
متن کاملOptimizing Algebraic Tableau Reasoning for SHOQ: First Experimental Results
In this paper we outline an algebraic tableau algorithm for the DL SHOQ, which supports more informed reasoning due to the use of semantic partitioning and integer programming. We introduce novel and adapt known optimization techniques and show their effectiveness on the basis of a prototype reasoner implementing the optimization techniques for the algebraic approach. Our first set of benchmark...
متن کاملDeciding SHOQ^cap Knowledge Base Consistency using Alternating Automata
We introduce an automata-based method for deciding the consistency of SHOQ⊓ knowledge bases. The presented algorithm decides knowledge base consistency in deterministic double exponential time for SHOQ⊓, but is in ExpTime if no role conjunctions occur in the input knowledge base. This shows that SHOQ is indeed ExpTimecomplete, which was, to the best of our knowledge, always conjectured but neve...
متن کاملA spectral method based on the second kind Chebyshev polynomials for solving a class of fractional optimal control problems
In this paper, we consider the second-kind Chebyshev polynomials (SKCPs) for the numerical solution of the fractional optimal control problems (FOCPs). Firstly, an introduction of the fractional calculus and properties of the shifted SKCPs are given and then operational matrix of fractional integration is introduced. Next, these properties are used together with the Legendre-Gauss quadrature fo...
متن کاملReasoning in the SHOQ(Dn) Description Logic
Description Logics (DLs) are of crucial importance to the development of the Semantic Web, where their role is to provide formal underpinnings and automated reasoning services for Semantic Web ontology languages such as DAML+OIL. In this paper we show how the description logic SHOQ(D), which has been designed to provide such services, can be extended with n-ary datatype predicates as well as da...
متن کامل