Filters








29,110 Hits in 5.6 sec

A description logic with concrete domains and a role-forming predicate operator

V Haarslev
1999 Journal of Logic and Computation  
This article presents the description logic ALCRP(D) with concrete domains and a roleforming predicate operator as its prominent aspects.  ...  The general significance of ALCRP(D) is demonstrated by adding temporal reasoning to spatial and terminological reasoning using a combined concrete domain.  ...  We develop an extended combination operator for concrete domains and show that with a role-forming predicate operator and the combination of concrete domains additional expressive power is gained in comparison  ... 
doi:10.1093/logcom/9.3.351 fatcat:vy2lah2wyfepldm536gw4erynq

An ontology for software component matching

Claus Pahl
2006 International Journal on Software Tools for Technology Transfer (STTT)  
A link between modal logic and description logics will prove invaluable for the provision of reasoning support for component behaviour.  ...  We use description logics, which underlie Semantic Web ontology languages such as OWL, to develop an ontology for matching requested and provided components.  ...  is a descriptional role, i.e. an attribute which maps to a concrete domain.2 A special form of role constructors helps us in expressing n-ary predicates: -The role expression ∃(u 1 , . . . , u n ).P is  ... 
doi:10.1007/s10009-006-0015-9 fatcat:geg77qtxe5gjpl3exy7capipwa

An Ontology for Software Component Matching [chapter]

Claus Pahl
2003 Lecture Notes in Computer Science  
A link between modal logic and description logics will prove invaluable for the provision of reasoning support for component behaviour.  ...  We use description logics, which underlie Semantic Web ontology languages such as OWL, to develop an ontology for matching requested and provided components.  ...  is a descriptional role, i.e. an attribute which maps to a concrete domain.2 A special form of role constructors helps us in expressing n-ary predicates: -The role expression ∃(u 1 , . . . , u n ).P is  ... 
doi:10.1007/3-540-36578-8_2 fatcat:y76dd7kzoze27m2odoklszpss4

A Logic-based Formalism for Reasoning about Visual Representations

VOLKER HAARSLEV
1999 Journal of Visual Languages and Computing  
This article presents a logic-based formalism for formal reasoning about visual representations. This formalism is based on previous work about describing visual notations [Haarslev, 1998a] .  ...  We demonstrate the application of this formalism to specifying semantics of visual query languages for GIS and to meta reasoning about spatial queries.  ...  Acknowledgements This article is an extended and revised version of presented at the workshop on Formalizing Reasoning with Visual and Diagrammatic Representations.  ... 
doi:10.1006/jvlc.1999.0133 fatcat:7prafphxk5dsfbm5awvva63jpm

Adding ternary complex roles to ALCRP(D)

Alissa Kaplunova, Volker Haarslev, Ralf Möller
2002 International Workshop on Description Logics  
The goal of this paper is to introduce the description logic ALCRP 3 (D). This logic is based on the DL ALCRP(D) extended by a ternary role-forming predicate operator and by inverse roles.  ...  The paper discusses syntactic restrictions on concepts and roles to ensure decidability of the language.  ...  . . . , w k ).P is a complex role term of arity 3 (role-forming ternary predicate operator).  ... 
dblp:conf/dlog/KaplunovaHM02 fatcat:wewus4c6e5bsjkimkm3up3izh4

Reasoning with Concrete Domains

Carsten Lutz
1999 International Joint Conference on Artificial Intelligence  
Concrete domains allow the integration of description logic reasoning with reasoning about concrete objects such as numbers, time intervals, or spatial regions.  ...  This pa per closes the gap by providing a tight bound for the complexity of reasoning with concrete domains and presenting optimal algorithms.  ...  On basis of the well-known description logic they de fine the description logic which can be param eterized by a concrete domain In this paper, we ex tend . by the operators feature agreement and fea ture  ... 
dblp:conf/ijcai/Lutz99 fatcat:tvakkuirozcl5bodayvansxfie

Semantic Matchmaking of Web Resources with Local Closed-World Reasoning

Stephan Grimm, Pascal Hitzler
2007 International Journal of Electronic Commerce  
OWL is essentially based on description logic (DL) [3], a logic-based formalism with well understood computational and representational properties.  ...  In Section 2 we will briefly introduce OWL and approaches to local closed-world reasoning with the DL underlying OWL, namely autoepistemic description logics and description logics with circumscription  ...  role, r is a possibly inverse abstract role, s is a concrete role, d is a concrete domain predicate, a i are individuals, c i are elements of a datatype, and n is a non-negative integer.  ... 
doi:10.2753/jec1086-4415120204 fatcat:jwanagqouvg35bio5vfctl4dua

Page 2933 of Mathematical Reviews Vol. , Issue 2000d [page]

2000 Mathematical Reviews  
description logic with concrete domains and a role-forming predicate operator.  ...  Logic Comput. 9 (1999), no. 3, 351-384. Summary: “This article presents the description logic ALEC RP (BD) with concrete domains and a role-forming predicate operator as its prominent aspects.  ... 

On specifying semantics of visual spatial query languages

V. Haarsley, R. Moller, M. Wessel
1999 Proceedings 1999 IEEE Symposium on Visual Languages  
We present a first treatment dealing with semantics of visual spatial query languages for GIS using a suitable description logic.  ...  This decidable space logic is described and its usefulness for GIS exemplified.  ...  Figure 3 illustrates for the domain S 2 the idea behind the semantics of the role-forming predicate operator.  ... 
doi:10.1109/vl.1999.795869 dblp:conf/vl/HaarslevMW99 fatcat:femis4x7trdzxmou5pzv4am7ka

Visual Spatial Query Languages: A Semantics Using Description Logic [chapter]

Volker Haarslev, Ralf Möller, Michael Wessel
2002 Diagrammatic Representation and Reasoning  
We present a first treatment dealing with the semantics of visual spatial query languages for geographic information systems using a suitable description logic.  ...  The logic supports the specification of a semantics, reasoning about query subsumption and about applying default knowledge.  ...  Figure 3 illustrates the idea behind the semantics of the role-forming predicate operator for the domain S 2 .  ... 
doi:10.1007/978-1-4471-0109-3_22 fatcat:4ccp4wc5zja6poaawyl42ly2oq

:{unav)

Alessandro Artale, Enrico Franconi
2012 Annals of Mathematics and Artificial Intelligence  
logics with a constraint based mechanism -to the most principled ones -which consider a combined semantics for the abstract and the temporal domains.  ...  It will be shown how these latter approaches have a strict connection with temporal logics.  ...  The combination of a description logic with a temporal concrete domain [26] has been pointed out as a promising framework.  ... 
doi:10.1023/a:1016636131405 fatcat:nw5nl3qotjei5o6bzy53anfnn4

Page 7075 of Mathematical Reviews Vol. , Issue 2003i [page]

2003 Mathematical Reviews  
To expand the abilities of DLs, researchers have supplemented them withconcrete domains”; a concrete domain is a set (e.g., integers) and a set of predicates (such as > or =j99).  ...  When we add a concrete domain, we immediately increase the complexity of the corresponding logic to at least PSPACE.  ... 

A Scheme for Integrating Concrete Domains into Concept Languages

Franz Baader, Philipp Hanschke
1991 International Joint Conference on Artificial Intelligence  
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 concrete domains are the integers, the real numbers, or also non-arithmetic domains, and predicates could be equality, inequality, or more complex predicates.  ...  To describe this kind of knowledge, one starts with atomic concepts and roles, and defines new concepts using the operations provided by the language.  ... 
dblp:conf/ijcai/BaaderH91 fatcat:g6vlkmgkufaw7di24e5lcg5hgi

On similarity in fuzzy description logics

Eva Armengol, Pilar Dellunde, Àngel García-Cerdaña
2016 Fuzzy sets and systems (Print)  
For this purpose we use concrete domains in the fuzzy description logic IALCE F (D) associated either with a left-continuous or with a finite t-norm.  ...  This paper is a contribution to the study of similarity relations between objects represented as attribute-value pairs in Fuzzy Description Logics.  ...  This paper is a humble tribute to the research line he has recently developed, the study of logical foundations of fuzzy description logics in connection with mathematical fuzzy logic.  ... 
doi:10.1016/j.fss.2015.11.021 fatcat:jiqok4isbvhdhcyk2zbtnxaqbq

Description logics with aggregates and concrete domains

Franz Baader, Ulrike Sattler
2003 Information Systems  
De nition 1 A concrete domain D = (dom(D); pred(D)) consists of  ...  We show that extending description logics by simple aggregation functions as available in database systems may lead to undecidability of inference problems such as satis ability and subsumption.  ...  The basic Description Logic ALC(D) Before we can introduce ALC(D), as de ned in Baader & Hanschke1991] , we must specify the notion of a concrete domain.  ... 
doi:10.1016/s0306-4379(03)00003-6 fatcat:3sjoby7fl5f7xow3boe2lsfxre
« Previous Showing results 1 — 15 out of 29,110 results