Package-based description logics

Jie Bao; George Voutsadakis; Giora Slutzki; Vasant Honavar

doi:10.1007/978-3-642-01907-4_16

Package-based description logics

Jie Bao, George Voutsadakis, Giora Slutzki, Vasant Honavar

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

52 Scopus citations

Abstract

We present the syntax and semantics of a family of modular ontology languages, Package-based Description Logics (P-DL), to support context- specific reuse of knowledge from multiple ontology modules. In particular, we describe a P-DL that allows the importing of concept, role and nominal names between multiple ontology modules (each of which can be viewed as a ontology). supports contextualized interpretation, i.e., interpretation from the point of view of a specific package. We establish the necessary and sufficient conditions on domain relations (i.e., the relations between individuals in different local domains) that need to hold in order to preserve the unsatisfiability of concept formulae, monotonicity of inference, transitive reuse of knowledge across modules.

Original language	English (US)
Title of host publication	Modular Ontologies
Subtitle of host publication	Concepts, Theories and Techniques for Knowledge Modularization
Editors	Heiner Stuckenschmidt, Christine Parent, Stefano Spaccapietra
Pages	349-371
Number of pages	23
DOIs	https://doi.org/10.1007/978-3-642-01907-4_16
State	Published - 2009

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	5445 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/978-3-642-01907-4_16

Cite this

Bao, J., Voutsadakis, G., Slutzki, G., & Honavar, V. (2009). Package-based description logics. In H. Stuckenschmidt, C. Parent, & S. Spaccapietra (Eds.), Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization (pp. 349-371). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5445 LNCS). https://doi.org/10.1007/978-3-642-01907-4_16

Bao, Jie ; Voutsadakis, George ; Slutzki, Giora et al. / Package-based description logics. Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization. editor / Heiner Stuckenschmidt ; Christine Parent ; Stefano Spaccapietra. 2009. pp. 349-371 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{4a13508666d34e24bd96806e795c2de3,

title = "Package-based description logics",

abstract = "We present the syntax and semantics of a family of modular ontology languages, Package-based Description Logics (P-DL), to support context- specific reuse of knowledge from multiple ontology modules. In particular, we describe a P-DL that allows the importing of concept, role and nominal names between multiple ontology modules (each of which can be viewed as a ontology). supports contextualized interpretation, i.e., interpretation from the point of view of a specific package. We establish the necessary and sufficient conditions on domain relations (i.e., the relations between individuals in different local domains) that need to hold in order to preserve the unsatisfiability of concept formulae, monotonicity of inference, transitive reuse of knowledge across modules.",

author = "Jie Bao and George Voutsadakis and Giora Slutzki and Vasant Honavar",

year = "2009",

doi = "10.1007/978-3-642-01907-4_16",

language = "English (US)",

isbn = "3642019064",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "349--371",

editor = "Heiner Stuckenschmidt and Christine Parent and Stefano Spaccapietra",

booktitle = "Modular Ontologies",

}

Bao, J, Voutsadakis, G, Slutzki, G & Honavar, V 2009, Package-based description logics. in H Stuckenschmidt, C Parent & S Spaccapietra (eds), Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5445 LNCS, pp. 349-371. https://doi.org/10.1007/978-3-642-01907-4_16

Package-based description logics. / Bao, Jie; Voutsadakis, George; Slutzki, Giora et al.
Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization. ed. / Heiner Stuckenschmidt; Christine Parent; Stefano Spaccapietra. 2009. p. 349-371 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5445 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Package-based description logics

AU - Bao, Jie

AU - Voutsadakis, George

AU - Slutzki, Giora

AU - Honavar, Vasant

PY - 2009

Y1 - 2009

N2 - We present the syntax and semantics of a family of modular ontology languages, Package-based Description Logics (P-DL), to support context- specific reuse of knowledge from multiple ontology modules. In particular, we describe a P-DL that allows the importing of concept, role and nominal names between multiple ontology modules (each of which can be viewed as a ontology). supports contextualized interpretation, i.e., interpretation from the point of view of a specific package. We establish the necessary and sufficient conditions on domain relations (i.e., the relations between individuals in different local domains) that need to hold in order to preserve the unsatisfiability of concept formulae, monotonicity of inference, transitive reuse of knowledge across modules.

AB - We present the syntax and semantics of a family of modular ontology languages, Package-based Description Logics (P-DL), to support context- specific reuse of knowledge from multiple ontology modules. In particular, we describe a P-DL that allows the importing of concept, role and nominal names between multiple ontology modules (each of which can be viewed as a ontology). supports contextualized interpretation, i.e., interpretation from the point of view of a specific package. We establish the necessary and sufficient conditions on domain relations (i.e., the relations between individuals in different local domains) that need to hold in order to preserve the unsatisfiability of concept formulae, monotonicity of inference, transitive reuse of knowledge across modules.

UR - http://www.scopus.com/inward/record.url?scp=68749096350&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=68749096350&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-01907-4_16

DO - 10.1007/978-3-642-01907-4_16

M3 - Conference contribution

AN - SCOPUS:68749096350

SN - 3642019064

SN - 9783642019067

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 349

EP - 371

BT - Modular Ontologies

A2 - Stuckenschmidt, Heiner

A2 - Parent, Christine

A2 - Spaccapietra, Stefano

ER -

Bao J, Voutsadakis G, Slutzki G, Honavar V. Package-based description logics. In Stuckenschmidt H, Parent C, Spaccapietra S, editors, Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization. 2009. p. 349-371. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-01907-4_16

Package-based description logics

Abstract

Publication series

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this