About: Concrete domains have been introduced in the area of Description Logic to enable reference to concrete objects (such as numbers) and predefined predicates on these objects (such as numerical comparisons) when defining concepts. Unfortunately, in the presence of general concept inclusions (GCIs), which are supported by all modern DL systems, adding concrete domains may easily lead to undecidability. One contribution of this paper is to strengthen the existing undecidability results further by showing that concrete domains even weaker than the ones considered in the previous proofs may cause undecidability. To regain decidability in the presence of GCIs, quite strong restrictions, in sum called [Formula: see text]-admissibility, need to be imposed on the concrete domain. On the one hand, we generalize the notion of [Formula: see text]-admissibility from concrete domains with only binary predicates to concrete domains with predicates of arbitrary arity. On the other hand, we relate [Formula: see text]-admissibility to well-known notions from model theory. In particular, we show that finitely bounded, homogeneous structures yield [Formula: see text]-admissible concrete domains. This allows us to show [Formula: see text]-admissibility of concrete domains using existing results from model theory.   Goto Sponge  NotDistinct  Permalink

An Entity of Type : fabio:Abstract, within Data Space : covidontheweb.inria.fr associated with source document(s)

AttributesValues
type
value
  • Concrete domains have been introduced in the area of Description Logic to enable reference to concrete objects (such as numbers) and predefined predicates on these objects (such as numerical comparisons) when defining concepts. Unfortunately, in the presence of general concept inclusions (GCIs), which are supported by all modern DL systems, adding concrete domains may easily lead to undecidability. One contribution of this paper is to strengthen the existing undecidability results further by showing that concrete domains even weaker than the ones considered in the previous proofs may cause undecidability. To regain decidability in the presence of GCIs, quite strong restrictions, in sum called [Formula: see text]-admissibility, need to be imposed on the concrete domain. On the one hand, we generalize the notion of [Formula: see text]-admissibility from concrete domains with only binary predicates to concrete domains with predicates of arbitrary arity. On the other hand, we relate [Formula: see text]-admissibility to well-known notions from model theory. In particular, we show that finitely bounded, homogeneous structures yield [Formula: see text]-admissible concrete domains. This allows us to show [Formula: see text]-admissibility of concrete domains using existing results from model theory.
Subject
  • Concrete
  • Concepts in logic
  • Non-classical logic
  • Building materials
  • Knowledge representation languages
  • Pavements
  • Metalogic
  • Roofing materials
  • Composite materials
  • Masonry
  • Heterogeneous chemical mixtures
  • Sculpture materials
part of
is abstract of
is hasSource of
Faceted Search & Find service v1.13.91 as of Mar 24 2020


Alternative Linked Data Documents: Sponger | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data]
OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software