Modularity in the Rule Interchange Format

Carlos Viegas Damásio; Anastasia Analyti; Grigoris Antoniou

doi:10.1007/978-3-642-22546-8_25

Modularity in the Rule Interchange Format

Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou

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

1 Citation (Scopus)

Abstract

The adoption of standards by the knowledge representation and logic programming communities is essential for their visibility and impact. The Rule Interchange Format is a fundamental effort in this direction that should be supported by users, developers and theoreticians. For this reason, it is essential to the community to discuss the recommendations published by the W3C RIF Working Group. In particular, this paper presents the semantics of Rule Interchange Format (RIF) of multi-documents, analyses it and some deficiencies are elicited. A more general approach is proposed as an alternative semantics for multi-documents. As a side important result, some relevant problems in the semantics of RIF-FLD are also discussed and possible ways out are proposed.

Original language	English
Title of host publication	Rule-Based Reasoning, Programming, and Applications
Subtitle of host publication	5th International Symposium, RuleML 2011, Proceedings
Editors	Nick Bassiliades, Guido Governatori, Adrian Paschke
Place of Publication	Berlin
Publisher	Springer-Verlag Berlin Heidelberg
Pages	313-328
Number of pages	16
Volume	6826 LNCS
ISBN (Electronic)	9783642225468
ISBN (Print)	9783642225451
DOIs	https://doi.org/10.1007/978-3-642-22546-8_25
Publication status	Published - 12 Jul 2011
Externally published	Yes
Event	5th International Symposium on Rules: Research Based and Industry Focused - Barcelona, Spain Duration: 19 Jul 2011 → 21 Jul 2011 Conference number: 5 http://www.defeasible.org/ruleml2011ijcai/

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer-Verlag Berlin Heidelberg
Volume	6826 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	5th International Symposium on Rules
Abbreviated title	RuleML 2011
Country/Territory	Spain
City	Barcelona
Period	19/07/11 → 21/07/11
Internet address	http://www.defeasible.org/ruleml2011ijcai/

Access to Document

10.1007/978-3-642-22546-8_25Licence: Unspecified

Cite this

Damásio, C. V., Analyti, A., & Antoniou, G. (2011). Modularity in the Rule Interchange Format. In N. Bassiliades, G. Governatori, & A. Paschke (Eds.), Rule-Based Reasoning, Programming, and Applications: 5th International Symposium, RuleML 2011, Proceedings (Vol. 6826 LNCS, pp. 313-328). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6826 LNCS). Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/978-3-642-22546-8_25

Damásio, Carlos Viegas ; Analyti, Anastasia ; Antoniou, Grigoris. / Modularity in the Rule Interchange Format. Rule-Based Reasoning, Programming, and Applications: 5th International Symposium, RuleML 2011, Proceedings. editor / Nick Bassiliades ; Guido Governatori ; Adrian Paschke. Vol. 6826 LNCS Berlin : Springer-Verlag Berlin Heidelberg, 2011. pp. 313-328 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{0d81a2ca62f246c1911b497a7e78a80a,

title = "Modularity in the Rule Interchange Format",

abstract = "The adoption of standards by the knowledge representation and logic programming communities is essential for their visibility and impact. The Rule Interchange Format is a fundamental effort in this direction that should be supported by users, developers and theoreticians. For this reason, it is essential to the community to discuss the recommendations published by the W3C RIF Working Group. In particular, this paper presents the semantics of Rule Interchange Format (RIF) of multi-documents, analyses it and some deficiencies are elicited. A more general approach is proposed as an alternative semantics for multi-documents. As a side important result, some relevant problems in the semantics of RIF-FLD are also discussed and possible ways out are proposed.",

keywords = "Language issues, Logic programming, Many-valued semantics, Modularity, Rule interchange format, Semantic Web",

author = "Dam{\'a}sio, {Carlos Viegas} and Anastasia Analyti and Grigoris Antoniou",

year = "2011",

month = jul,

day = "12",

doi = "10.1007/978-3-642-22546-8_25",

language = "English",

isbn = "9783642225451",

volume = "6826 LNCS",

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

publisher = "Springer-Verlag Berlin Heidelberg",

pages = "313--328",

editor = "Nick Bassiliades and Guido Governatori and Adrian Paschke",

booktitle = "Rule-Based Reasoning, Programming, and Applications",

address = "Germany",

note = "5th International Symposium on Rules : Research Based and Industry Focused, RuleML 2011 ; Conference date: 19-07-2011 Through 21-07-2011",

url = "http://www.defeasible.org/ruleml2011ijcai/",

}

Damásio, CV, Analyti, A & Antoniou, G 2011, Modularity in the Rule Interchange Format. in N Bassiliades, G Governatori & A Paschke (eds), Rule-Based Reasoning, Programming, and Applications: 5th International Symposium, RuleML 2011, Proceedings. vol. 6826 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6826 LNCS, Springer-Verlag Berlin Heidelberg, Berlin, pp. 313-328, 5th International Symposium on Rules, Barcelona, Spain, 19/07/11. https://doi.org/10.1007/978-3-642-22546-8_25

Modularity in the Rule Interchange Format. / Damásio, Carlos Viegas; Analyti, Anastasia; Antoniou, Grigoris.

Rule-Based Reasoning, Programming, and Applications: 5th International Symposium, RuleML 2011, Proceedings. ed. / Nick Bassiliades; Guido Governatori; Adrian Paschke. Vol. 6826 LNCS Berlin : Springer-Verlag Berlin Heidelberg, 2011. p. 313-328 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6826 LNCS).

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

TY - GEN

T1 - Modularity in the Rule Interchange Format

AU - Damásio, Carlos Viegas

AU - Analyti, Anastasia

AU - Antoniou, Grigoris

N1 - Conference code: 5

PY - 2011/7/12

Y1 - 2011/7/12

N2 - The adoption of standards by the knowledge representation and logic programming communities is essential for their visibility and impact. The Rule Interchange Format is a fundamental effort in this direction that should be supported by users, developers and theoreticians. For this reason, it is essential to the community to discuss the recommendations published by the W3C RIF Working Group. In particular, this paper presents the semantics of Rule Interchange Format (RIF) of multi-documents, analyses it and some deficiencies are elicited. A more general approach is proposed as an alternative semantics for multi-documents. As a side important result, some relevant problems in the semantics of RIF-FLD are also discussed and possible ways out are proposed.

AB - The adoption of standards by the knowledge representation and logic programming communities is essential for their visibility and impact. The Rule Interchange Format is a fundamental effort in this direction that should be supported by users, developers and theoreticians. For this reason, it is essential to the community to discuss the recommendations published by the W3C RIF Working Group. In particular, this paper presents the semantics of Rule Interchange Format (RIF) of multi-documents, analyses it and some deficiencies are elicited. A more general approach is proposed as an alternative semantics for multi-documents. As a side important result, some relevant problems in the semantics of RIF-FLD are also discussed and possible ways out are proposed.

KW - Language issues

KW - Logic programming

KW - Many-valued semantics

KW - Modularity

KW - Rule interchange format

KW - Semantic Web

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

UR - https://www.springer.com/gp/book/9783642225451

U2 - 10.1007/978-3-642-22546-8_25

DO - 10.1007/978-3-642-22546-8_25

M3 - Conference contribution

AN - SCOPUS:84894447112

SN - 9783642225451

VL - 6826 LNCS

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

SP - 313

EP - 328

BT - Rule-Based Reasoning, Programming, and Applications

A2 - Bassiliades, Nick

A2 - Governatori, Guido

A2 - Paschke, Adrian

PB - Springer-Verlag Berlin Heidelberg

CY - Berlin

T2 - 5th International Symposium on Rules

Y2 - 19 July 2011 through 21 July 2011

ER -

Damásio CV, Analyti A, Antoniou G. Modularity in the Rule Interchange Format. In Bassiliades N, Governatori G, Paschke A, editors, Rule-Based Reasoning, Programming, and Applications: 5th International Symposium, RuleML 2011, Proceedings. Vol. 6826 LNCS. Berlin: Springer-Verlag Berlin Heidelberg. 2011. p. 313-328. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-22546-8_25

Modularity in the Rule Interchange Format

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this