Filters








299,547 Hits in 2.6 sec

A description logic with transitive and inverse roles and role hierarchies

I Horrocks
1999 Journal of Logic and Computation  
Sattler A Description Logic with Transitive and Converse Roles and Roles Hierarchies D W Q Foundations of Data Warehouse Quality A Description Logic with Transitive and Inverse Roles and Role Hierarchies  ...  In [Horrocks & Gough,1997] , the Description Logic (DL) ALCH R + is presented, which extends ALC with transitive roles and a role hierarchy.  ... 
doi:10.1093/logcom/9.3.385 fatcat:uyfwye4cmvhl5hhgqd2fhisozi

Finite Query Answering in Expressive Description Logics with Transitive Roles [article]

Tomasz Gogacz, Yazmin Ibáñez-García, Filip Murlak
2018 arXiv   pre-print
We adopt the most typical setting with unions of conjunctive queries and ontologies expressed in description logics (DLs).  ...  This is the case not only for DLs without the finite model property, but also for those allowing transitive role declarations.  ...  A widely accepted family of ontology languages with varying expressive power is offered by Description Logics (DLs) [3] , while the most commonly studied query language is that of (unions of) conjunctive  ... 
arXiv:1808.03130v1 fatcat:ctcuclouufazrioe6io7u2npju

Unification in a Description Logic with Transitive Closure of Roles [chapter]

Franz Baader, Ralf Küsters
2001 Lecture Notes in Computer Science  
The present paper shows that the complexity does not increase if one additionally allows for composition, union, and transitive closure of roles.  ...  It also shows that matching (which is polynomial in FL0) is PSpace-complete in the extended description logic.  ...  Atomic concepts and concept descriptions represent sets of individuals, whereas roles and role descriptions represent binary relations between individuals.  ... 
doi:10.1007/3-540-45653-8_15 fatcat:bqbsl3wu5nfibfiwgbkxnf47su

Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles [chapter]

Franz Baader, Stefan Borgwardt, Marcel Lippmann
2015 Lecture Notes in Computer Science  
In Ontology-Based Data Access (OBDA), user queries are evaluated over a set of facts under the open world assumption, while taking into account background knowledge given in the form of a Description Logic  ...  We extend the existing complexity analysis of TCQ entailment to very expressive DLs underlying the OWL 2 standard, and in contrast to previous work also allow for queries containing transitive roles.  ...  However, the main difference is that, though SHQ can express transitivity of roles and sub-role relationships, transitive roles and roles with transitive subroles must not occur in queries in [4] .  ... 
doi:10.1007/978-3-319-26350-2_3 fatcat:vgny3kj7qjftxn66yj5by3l5zy

On the Decidability of Expressive Description Logics with Transitive Closure and Regular Role Expressions

Jean Christoph Jung, Carsten Lutz, Thomas Zeume
2020 Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning  
We consider fragments of the description logic SHOIF extended with regular expressions on roles.  ...  SHOIF^1 encompasses the extension of SHOIF with transitive closure of roles (when functional roles have no subroles) and the modal logic of linear orders and successor, with converse.  ...  We study fragments of the description logic SHOIF reg , that is SHOIF extended with regular expressions on roles: role composition, role union, transitive closure of roles, and a PDL-like test operator  ... 
doi:10.24963/kr.2020/53 dblp:conf/kr/JungLZ20 fatcat:vqjvlbmuuvbfpleduknhxzzeoy

EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies [chapter]

Rajeev Goré, Linh Anh Nguyen
Lecture Notes in Computer Science  
The description logic SHI extends the basic description logic ALC with transitive roles, role hierarchies and inverse roles.  ...  for global caching in ALC to SHI by adding analytic cut rules, thereby giving the first EXPTIME tableau-based decision procedure for SHI, and showing one way to incorporate global caching and inverse roles  ...  The basic description logic ALC extended with transitive roles, inverse roles, and role hierarchies is called SHI. Horrocks and Sattler [9] gave a NEXPTIME tableau decision procedure for SHI.  ... 
doi:10.1007/978-3-540-73099-6_12 fatcat:job3ha44nnaurhsuxm7d5xmfxu

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.  ...  For a given Kripke transition system M with interpretation I, we define the model-based semantics of concept descriptions as follows 2 : 2 3 2 Transitional roles R T represent component operations.  ... 
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.  ...  For a given Kripke transition system M with interpretation I, we define the model-based semantics of concept descriptions as follows 2 : 2 3 2 Transitional roles R T represent component operations.  ... 
doi:10.1007/3-540-36578-8_2 fatcat:y76dd7kzoze27m2odoklszpss4

An Ontology-Based Framework for Semantic Grid Service Composition [chapter]

Claus Pahl
2004 Lecture Notes in Computer Science  
A concept description ∀P (R 1 , . . . , R n ).C with composite transitional role P is reachable if {(a, b) ∈ P I |∃b.b ∈ C I } is not empty.  ...  We will base our ontology on Description logic [10] . Description logic, which is used to define OWL, is based on concept and role descriptions.  ... 
doi:10.1007/978-3-540-30190-5_5 fatcat:ajbde2wxfbanfgbfdxxzopy7pi

An Architecture Description Language Based on Dynamic Description Logics [chapter]

Zhuxiao Wang, Hui Peng, Jing Guo, Ying Zhang, Kehe Wu, Huan Xu, Xiaofeng Wang
2012 IFIP Advances in Information and Communication Technology  
ADML is an architectural description language based on Dynamic Description Logic for defining and simulating the behavior of system architecture.  ...  Because the ADML is based on the Dynamic Description Logic DDL(SHON (D)), which can represent both dynamic semantics and static semantics under a unified logical framework, architectural ontology entailment  ...  ADML as the DDL(SHON (D)) Dynamic Description Logic ADML is very close to the DDL(SHON (D)) Dynamic Description Logic which is itself an extension of the SHON (D) Description Logic [5] (extended with  ... 
doi:10.1007/978-3-642-32891-6_21 fatcat:iwjunprouvfcjmy4ea7g23krby

Ontology support for web service processes

C. Pahl, M. Casey
2003 Software engineering notes  
The Semantic Web, based on a description logic-based knowledge representation and reasoning framework, provides the foundations.  ...  We propose a formal ontology framework for these Web service processes that supports the description, matching, and composition through logic reasoning techniques.  ...  For a transitional role Login and a descriptional role postCond, the expression ∀Login •(id,passwd).  ... 
doi:10.1145/949952.940099 fatcat:4yh3phildjhp3bwfuk4yqfktwm

Description Logics for Ontologies [chapter]

Ulrike Sattler
2003 Lecture Notes in Computer Science  
It is clear that, to be of use as an ontology language, a description logic has to provide adequate expressive power, and we are thus concerned with the well-known trade-off between complexity and expressiveness  ...  After a brief introduction to ontologies, we introduce the basic description logic ALC and describe how DLs can be used as ontology languages.  ...  By S, we refer to the description logic ALC extended with transitive roles, i.e., where the set of of role names contains a subset of transitive role names R + ⊆ R. 6 Obviously, S provides the means to  ... 
doi:10.1007/978-3-540-45091-7_7 fatcat:k6yz5bk5zveffiorjohakrqfay

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

2000 Mathematical Reviews  
In this paper we present tableau algorithms for deciding concept satisfiability and subsumption in description logics that extend VY@ with both transitive and inverse roles, a role hierarchy, and functional  ...  logic with concrete domains and a role-forming predicate operator.  ... 

Ontology support for web service processes

C. Pahl, M. Casey
2003 Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE '03  
The Semantic Web, based on a description logic-based knowledge representation and reasoning framework, provides the foundations.  ...  We propose a formal ontology framework for these Web service processes that supports the description, matching, and composition through logic reasoning techniques.  ...  We interpret concepts and roles in Kripke transition systems. These are semantic structures used to interpret modal logics that also suffice to interpret description logics.  ... 
doi:10.1145/940071.940099 dblp:conf/sigsoft/PahlC03 fatcat:t4txh6t5yfavjm2dlgnjcnvh5e

Ontology support for web service processes

C. Pahl, M. Casey
2003 Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE '03  
The Semantic Web, based on a description logic-based knowledge representation and reasoning framework, provides the foundations.  ...  We propose a formal ontology framework for these Web service processes that supports the description, matching, and composition through logic reasoning techniques.  ...  We interpret concepts and roles in Kripke transition systems. These are semantic structures used to interpret modal logics that also suffice to interpret description logics.  ... 
doi:10.1145/940095.940099 fatcat:v32om37bkbdedcph54odima5gi
« Previous Showing results 1 — 15 out of 299,547 results