Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
2,133
Concrete Domains
- THEORETICAL COMPUTER SCIENCE
, 1993
"... This paper introduces the theory of a particular kind of computation domains called concrete domains. The purpose of this theory is to find a satisfactory framework for the notions of coroutine computation and sequentiality of evaluation. ..."
Abstract
-
Cited by 37 (1 self)
- Add to MetaCart
This paper introduces the theory of a particular kind of computation domains called concrete domains. The purpose of this theory is to find a satisfactory framework for the notions of coroutine computation and sequentiality of evaluation.
with Concrete Domains
"... The paper introduces the description logic ALCN H R +(D) −.Prominent language features beyond ALC are number restrictions, role hierarchies, transitively closed roles, generalized concept inclusions and concrete domains. As in other languages based on concrete domains (e.g. ALC(D)) a so-called pred ..."
Abstract
- Add to MetaCart
The paper introduces the description logic ALCN H R +(D) −.Prominent language features beyond ALC are number restrictions, role hierarchies, transitively closed roles, generalized concept inclusions and concrete domains. As in other languages based on concrete domains (e.g. ALC(D)) a so
A Scheme for Integrating Concrete Domains into Concept Languages
, 1991
"... A drawback which concept languages based on kl-one have is that all the terminological knowledge has to be defined on an abstract logical level. In many applications, one would like to be able to refer to concrete domains and predicates on these domains when defining concepts. Examples for such conc ..."
Abstract
-
Cited by 280 (22 self)
- Add to MetaCart
A drawback which concept languages based on kl-one have is that all the terminological knowledge has to be defined on an abstract logical level. In many applications, one would like to be able to refer to concrete domains and predicates on these domains when defining concepts. Examples
Reasoning with Concrete Domains
, 1999
"... Description logics are formalisms for the representation of and reasoning about conceptual knowledge on an abstract level. Concrete domains allow the integration of description logic reasoning with reasoning about concrete objects such as numbers, time intervals, or spatial regions. The importa ..."
Abstract
-
Cited by 63 (11 self)
- Add to MetaCart
Description logics are formalisms for the representation of and reasoning about conceptual knowledge on an abstract level. Concrete domains allow the integration of description logic reasoning with reasoning about concrete objects such as numbers, time intervals, or spatial regions
Concrete domains and nominals united
- In Proceedings of the fourth Workshop on Hybrid Logics (HyLo'02
, 2002
"... While the complexity of concept satisfiability in both ALCO, the basic description logic ALC enriched with nominals, and ALC(D), the extension of ALC with concrete domains, is known to be PSpace-complete, in this article we show that the combination ALCO(D) of these two logics can have a NExpTime-ha ..."
Abstract
-
Cited by 5 (1 self)
- Add to MetaCart
While the complexity of concept satisfiability in both ALCO, the basic description logic ALC enriched with nominals, and ALC(D), the extension of ALC with concrete domains, is known to be PSpace-complete, in this article we show that the combination ALCO(D) of these two logics can have a NExp
Description Logics with Fuzzy Concrete Domains
, 2005
"... We present a fuzzy version of description logics with concrete domains. Main features are: (i) concept constructors are based on t-norm, t-conorm, negation and implication; (ii) concrete domains are fuzzy sets; (iii) fuzzy modifiers are allowed; and (iv) the reasoning algorithm is based on a m ..."
Abstract
-
Cited by 59 (25 self)
- Add to MetaCart
We present a fuzzy version of description logics with concrete domains. Main features are: (i) concept constructors are based on t-norm, t-conorm, negation and implication; (ii) concrete domains are fuzzy sets; (iii) fuzzy modifiers are allowed; and (iv) the reasoning algorithm is based on a
Concrete Domains and Nominals United
"... Abstract While the complexity of concept satisfiability in both ALCO, the basic description logic ALC enriched with nominals, and ALC(D), the extension of ALC with concrete domains, is known to be PSpace-complete, in this article we show that the combination ALCO(D) of these two logics can have a NE ..."
Abstract
- Add to MetaCart
Abstract While the complexity of concept satisfiability in both ALCO, the basic description logic ALC enriched with nominals, and ALC(D), the extension of ALC with concrete domains, is known to be PSpace-complete, in this article we show that the combination ALCO(D) of these two logics can have a
Description Logics with Concrete Domains and Aggregation
, 1998
"... We extend different Description Logics by concrete domains (such as integers and reals) and by aggregation functions over these domains (such as min; max; count; sum), which are usually available in database systems. On the one hand, we show that this extension may lead to undecidability of the basi ..."
Abstract
-
Cited by 27 (3 self)
- Add to MetaCart
We extend different Description Logics by concrete domains (such as integers and reals) and by aggregation functions over these domains (such as min; max; count; sum), which are usually available in database systems. On the one hand, we show that this extension may lead to undecidability
Reasoning in ALC with Fuzzy Concrete Domains
"... Abstract. In the context of Description Logics (DLs) concrete domains allow to model concepts and facts by the use of concrete values and pred-icates between them. For reasoning in the DL ALC with general TBoxes concrete domains may cause undecidability. Under certain restrictions of the concrete do ..."
Abstract
- Add to MetaCart
Abstract. In the context of Description Logics (DLs) concrete domains allow to model concepts and facts by the use of concrete values and pred-icates between them. For reasoning in the DL ALC with general TBoxes concrete domains may cause undecidability. Under certain restrictions of the concrete
Results 1 - 10
of
2,133
