short-paper

Semantically-enhanced authoring of defeasible logic rule bases in the semantic web

Authors:

Efstratios Kontopoulos,

Thetida Zetta,

Nick BassiliadesAuthors Info & Claims

WIMS '12: Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics

Article No.: 56, Pages 1 - 4

https://doi.org/10.1145/2254129.2254199

Published: 13 June 2012 Publication History

Get Access

Abstract

The Semantic Web represents an initiative to improve the current Web, by augmenting content with semantics and encouraging cooperation among human and software agents. The development of the logic and proof layers of the Semantic Web is currently concentrating the related research effort and is vital, since these layers allow systems to infer new knowledge from existing information, assisting them in explaining their actions and, ultimately, increasing user trust towards the Semantic Web. However, there is a lack of applications that could contribute towards developing logic-based applications. Consequently, users resort to inadequate tools that offer syntactic support, without being able to support the user semantically as well. This work presents S²DRREd, a software tool that introduces a supplementary level of semantic assistance during rule base development. The tool allows creating meta-models of the main notions of the loaded rule sets and assists the user in authoring rule bases, independently of the explicitly chosen rule language syntax. The domain of application is defeasible logic, a type of logic that allows reasoning with incomplete and conflicting information and, as such, it can play an increasingly important role in a drastically dynamic environment like the Web.

References

[1]

Bassiliades, N., Antoniou, G., & Vlahavas, I. 2006. A Defeasible Logic Reasoner for the Semantic Web. Int. J. on Semantic Web and Information Systems 2, 1, Sheth, A., & Lytras, M. D. (Eds.), IDEA Group Publishing, 1--41.

Google Scholar

[2]

Berners-Lee, T., Hendler J., & Lassila O. 2001. The Semantic Web. Scientific American 284, 5, 34--43.

Crossref

Google Scholar

[3]

Boley, H. 2003. Object-Oriented RuleML: User-Level Roles, URI-Grounded Clauses, and Order-Sorted Terms. Proc. Rules and Rule Markup Languages for the Semantic Web (RuleML-2003). Sanibel Island, Florida, LNCS 2876, Springer-Verlag, 1--16.

Digital Library

Google Scholar

[4]

Boley, H. 2006. The RuleML Family of Web Rule Languages. In Principles and Practice of Semantic Web Reasoning. Springer, 1--17.

Digital Library

Google Scholar

[5]

Boley, H. 2010. Integrating Positional and Slotted Knowledge on the Semantic Web. Journal of Emerging Technologies in Web Intelligence 2, 4, 343--353.

Crossref

Google Scholar

[6]

Craig, B. 2007. The OO jDREW Engine of Rule Responder: Naf Hornlog RuleML Query Answering. Proc. Int. Conf. on Advances in Rule Interchange and Applications (RuleML'07), Paschke, A., & Biletskiy, Y. (Eds.). Springer-Verlag, Berlin, Heidelberg, 149--154.

Digital Library

Google Scholar

[7]

Gasse, F., & Haarslev, V. 2008. DLRule: A Rule Editor Plug-in for Protéégé. Proc. 4th Int. Workshop on OWL: Experiences and Directions (OWLED 2008). Washington, DC, USA, April 1--2.

Google Scholar

[8]

Horrocks, I., & Patel-Schneider, P. F. 2004. A Proposal for an OWL Rules Language. Proc. 13th Int. Conf. on World Wide Web (WWW '04). ACM, NY, USA, 723--731.

Digital Library

Google Scholar

[9]

Kontopoulos, E., Bassiliades, N., & Antoniou, G. 2011. Visualizing Semantic Web Proofs of Defeasible Logic in the DR-DEVICE System. Knowledge-based Systems 24, 3, Elsevier, 406--419.

Digital Library

Google Scholar

[10]

Nute, D. 1994. Defeasible Logic. Handbook of Logic in Artificial Intelligence and Logic Programming, Gabbay, D. M., Hogger, C. J., and Robinson, J. A. (Eds.). Vol. 3, Oxford University Press, 353--395.

Digital Library

Google Scholar

[11]

O'Connor, M. J., Knublauch, H., Tu, S. W., Grossof, B., Dean, M., Grosso, W. E., & Musen, M. A. 2005. Supporting Rule System Interoperability on the Semantic Web with SWRL. Proc. 4th Int. Semantic Web Conference (ISWC), Galway, Ireland, Springer Verlag, LNCS 3729, 974--986.

Digital Library

Google Scholar

[12]

Ortega, A. M., Alcaraz Calero, J. M., Botía Blaya, J. A., Martínez Pérez, G., & Garcíía Clemente, F. J. 2010. Knowledge Authoring with ORE: Testing, Debugging and Validating Knowledge Rules in a Semantic Web Framework. J. UCS 16, 2, 1234--1266.

Google Scholar

[13]

Reynolds, D. 2010. OWL 2 RL in RIF. W3C Working Group Note 22 June 2010. Available at: http://www.w3.org/TR/rif-owl-rl/#Background_OWL_2_RL, last access: November 2011.

Google Scholar

Cited By

View all

Pandey RSrivastava NBajpai A(2023)Ontology and Description Logic for E-LearningArchitecture and Technological Advancements of Education 4.010.4018/978-1-6684-9285-7.ch015(339-360)Online publication date: 20-Oct-2023
https://doi.org/10.4018/978-1-6684-9285-7.ch015
Boujelben AAmous I(2023)Strategy maintenance in smart healthcare systemsBMC Medical Informatics and Decision Making10.1186/s12911-023-02291-423:S1Online publication date: 28-Nov-2023
https://doi.org/10.1186/s12911-023-02291-4
Stavropoulos TKoutitas GVrakas DKontopoulos EVlahavas I(2016)A smart university platform for building energy monitoring and savingsJournal of Ambient Intelligence and Smart Environments10.3233/AIS-1603758:3(301-323)Online publication date: 27-Apr-2016
https://doi.org/10.3233/AIS-160375

Index Terms

Semantically-enhanced authoring of defeasible logic rule bases in the semantic web
1. Human-centered computing
  1. Human computer interaction (HCI)
    1. Interaction paradigms
      1. Graphical user interfaces

Recommendations

Deploying defeasible logic rule bases for the semantic web

Logic is currently the target of the majority of the upcoming efforts towards the realization of the Semantic Web vision, namely making the content of the Web accessible not only to humans, as it is today, but to machines as well. Defeasible reasoning, ...
A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web

Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information, whereas modal logic deals with the concepts of necessity and possibility. These types of logics play a significant role in the emerging Semantic Web, ...
A grounder for SPINdle defeasible logic reasoner

Proposed a grounder for defeasible logic bottom-up programs focused on stratified theories.Introduced an algorithm for theory stratification.The grounder exploits classical backtracking algorithm for instantiation.Proposed a query optimization technique ...

Comments

Information & Contributors

Information

Published In

WIMS '12: Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics

June 2012

571 pages

ISBN:9781450309158

DOI:10.1145/2254129

Conference Chair:
Dumitru Dan Burdescu
University of Craiova, Romania
,
Program Chairs:
Rajendra Akerkar
Western Norway Research Institute, Norway
,
Costin Bădică
SUniversity of Craiova, Romania

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 13 June 2012

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Short-paper

Conference

WIMS '12

Sponsor:

UCV
WNRI

WIMS '12: 2nd International Conference on Web Intelligence, Mining and Semantics

June 13 - 15, 2012

Craiova, Romania

Acceptance Rates

Overall Acceptance Rate 140 of 278 submissions, 50%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
90
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)1

Reflects downloads up to 27 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Pandey RSrivastava NBajpai A(2023)Ontology and Description Logic for E-LearningArchitecture and Technological Advancements of Education 4.010.4018/978-1-6684-9285-7.ch015(339-360)Online publication date: 20-Oct-2023
https://doi.org/10.4018/978-1-6684-9285-7.ch015
Boujelben AAmous I(2023)Strategy maintenance in smart healthcare systemsBMC Medical Informatics and Decision Making10.1186/s12911-023-02291-423:S1Online publication date: 28-Nov-2023
https://doi.org/10.1186/s12911-023-02291-4
Stavropoulos TKoutitas GVrakas DKontopoulos EVlahavas I(2016)A smart university platform for building energy monitoring and savingsJournal of Ambient Intelligence and Smart Environments10.3233/AIS-1603758:3(301-323)Online publication date: 27-Apr-2016
https://doi.org/10.3233/AIS-160375
Stavropoulos TRigas EKontopoulos EBassiliades NVlahavas I(2014)A Multi-agent Coordination Framework for Smart Building Energy ManagementProceedings of the 2014 International Semiconductor Laser Conference10.1109/DEXA.2014.39(126-130)Online publication date: 7-Sep-2014
https://dl.acm.org/doi/10.1109/DEXA.2014.39

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Index Terms

Recommendations

Deploying defeasible logic rule bases for the semantic web

A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web

A grounder for SPINdle defeasible logic reasoner

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations