A Defeasible Logic Reasoner for the Semantic Web

doi:10.4018/jswis.2006010101

Reference Hub

This research has been cited in:

Article
Time and defeasibility in FIPA ACL semanticsJournal of Applied Logic10.1016/j.jal.2011.09.006
Conference
Agents and knowledge interoperability in the semantic web eraProceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics10.1145/2254129.2254140
Article
DR-NEGOTIATE – A system for automated agent negotiation with defeasible logic-based strategiesData & Knowledge Engineering10.1016/j.datak.2007.03.004
Article
The rationale behind the concept of goalTheory and Practice of Logic Programming10.1017/S1471068416000053
Chapter
Marine Surveying Education by Implementing Artificial Intelligence on Remotely Operated Underwater Vehicle SensorsDistributed Computing and Artificial Intelligence, Volume 2: Special Sessions 18th International Conference10.1007/978-3-030-86887-1_10
Chapter
Picking Up the Best GoalTheory, Practice, and Applications of Rules on the Web10.1007/978-3-642-39617-5_12
Conference
On the relationship between Carneades and Defeasible LogicProceedings of the 13th International Conference on Artificial Intelligence and Law10.1145/2018358.2018362
Article
Dynamic replication and synchronization of web services for high availability in mobile ad-hoc networksService Oriented Computing and Applications10.1007/s11761-007-0006-z
Article
DISARM: A social distributed agent reputation model based on defeasible logicJournal of Systems and Software10.1016/j.jss.2016.02.016
Article
From Wrapping to KnowledgeIEEE Transactions on Knowledge and Data Engineering10.1109/TKDE.2007.31
Chapter
On the Problem of Computing Ambiguity Propagation and Well-Founded Semantics in Defeasible LogicSemantic Web Rules10.1007/978-3-642-16289-3_11
Conference
Advanced agent discovery servicesProceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics10.1145/2254129.2254177
Article
VISUAL MODELING OF DEFEASIBLE LOGIC RULES WITH DR-VisMoInternational Journal on Artificial Intelligence Tools10.1142/S0218213008004217
Conference
Changes to temporary normsProceedings of the 16th edition of the International Conference on Articial Intelligence and Law10.1145/3086512.3086517
Article
Relational databases as a massive information source for defeasible argumentationKnowledge-Based Systems10.1016/j.knosys.2013.07.010
Article
A temporal modal defeasible logic for formalizing social commitments in dialogue and argumentation modelsApplied Intelligence10.1007/s10489-017-0983-3
Article
Revision of defeasible preferencesInternational Journal of Approximate Reasoning10.1016/j.ijar.2018.10.020
Chapter
HARM: A Hybrid Rule-Based Agent Reputation Model Based on Temporal Defeasible LogicRules on the Web: Research and Applications10.1007/978-3-642-32689-9_15
Chapter
On Extending RuleML for Modal Defeasible LogicRule Representation, Interchange and Reasoning on the Web10.1007/978-3-540-88808-6_12
Chapter
Proof Explanation in the DR-DEVICE SystemWeb Reasoning and Rule Systems10.1007/978-3-540-72982-2_19
Article
Deploying defeasible logic rule bases for the semantic webData & Knowledge Engineering10.1016/j.datak.2008.02.005
Chapter
On Commitments Creation, Compliance and ViolationRecent Trends and Future Technology in Applied Intelligence10.1007/978-3-319-92058-0_45
Article
Interoperability Support between MPEG-7/21 and OWL in DS-MIRFIEEE Transactions on Knowledge and Data Engineering10.1109/TKDE.2007.33
Chapter
The Making of SPINdleRule Interchange and Applications10.1007/978-3-642-04985-9_29
Article
RDFS(FA): Connecting RDF(S) and OWL DLIEEE Transactions on Knowledge and Data Engineering10.1109/TKDE.2007.37
Chapter
A Java Implementation of Temporal Defeasible LogicRule Interchange and Applications10.1007/978-3-642-04985-9_27
Article
Defeasible Reasoning via Datalog¬Theory and Practice of Logic Programming10.1017/S1471068421000387
Article
Visualizing Semantic Web proofs of defeasible logic in the DR-DEVICE systemKnowledge-Based Systems10.1016/j.knosys.2010.12.001
Chapter
Counterfactuals and Hybrid Reasoning in an OntologInformation Systems Development10.1007/978-0-387-78578-3_5
Article
A modelling and reasoning framework for social networks policiesEnterprise Information Systems10.1080/17517575.2010.513014
Article
Mining Generalized Associations of Semantic Relations from Textual Web ContentIEEE Transactions on Knowledge and Data Engineering10.1109/TKDE.2007.36
Chapter
EMERALD: A Multi-Agent System for Knowledge-Based Reasoning Interoperability in the Semantic WebArtificial Intelligence: Theories, Models and Applications10.1007/978-3-642-12842-4_21
Conference
Visual Stratification of Defeasible Logic Rule Bases19th IEEE International Conference on Tools with Artificial Intelligence(ICTAI 2007)10.1109/ICTAI.2007.39
Conference
RuleOMSProceedings of the 15th International Conference on Artificial Intelligence and Law10.1145/2746090.2746120
Chapter
A First Order Logic Benchmark for Defeasible Reasoning Tool ProfilingRules and Reasoning10.1007/978-3-319-99906-7_6
Article
A Flexible Ontology Reasoning Architecture for the Semantic WebIEEE Transactions on Knowledge and Data Engineering10.1109/TKDE.2007.17
Article
Converness: Ontology‐driven conversational awareness and context understanding in multimodal dialogue systemsExpert Systems10.1111/exsy.12378
Article
Enhancing Context-Aware Reactive Planning for Unexpected Situations of On-Orbit SpacecraftIEEE Transactions on Aerospace and Electronic Systems10.1109/TAES.2022.3172022
Article
A Relation-Based Search Engine in Semantic WebIEEE Transactions on Knowledge and Data Engineering10.1109/TKDE.2007.18
Conference
Towards a Knowledge-Based Framework for Agents Interacting in the Semantic Web2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology10.1109/WI-IAT.2009.198
Article
Defeasible argumentation over relational databasesArgument & Computation10.3233/AAC-170017
Chapter
Consistent Query Answering Using Relational Databases through ArgumentationDatabase and Expert Systems Applications10.1007/978-3-642-32597-7_1
Chapter
Forgetting for Defeasible LogicLogic for Programming, Artificial Intelligence, and Reasoning10.1007/978-3-642-28717-6_9
Chapter
Modal Rules: Extending Defeasible Logic with Modal OperatorsRules and Reasoning10.1007/978-3-319-99906-7_2
Chapter
Meaning Negotiation with Defeasible LogicAgent and Multi-Agent Systems: Technology and Applications10.1007/978-3-319-59394-4_7
Chapter
Possible World Semantics for Defeasible Deontic LogicDeontic Logic in Computer Science10.1007/978-3-642-31570-1_4
Chapter
Visualization of Proofs in Defeasible LogicRule Representation, Interchange and Reasoning on the Web10.1007/978-3-540-88808-6_21
Conference
Modelling and Reasoning Languages for Social Networks Policies2009 IEEE International Enterprise Distributed Object Computing Conference10.1109/EDOC.2009.19
Conference
Defeasible preferences for intelligible pervasive applications to enhance eldercare2012 IEEE International Conference on Pervasive Computing and Communications Workshops10.1109/PerComW.2012.6197580
Article
An inclusion theorem for defeasible logicsACM Transactions on Computational Logic10.1145/1838552.1838558
Article
A policy-based B2C e-Contract management workflow methodology using semantic web agentsArtificial Intelligence and Law10.1007/s10506-016-9177-2
Chapter
Visualizing Defeasible Logic Rules for the Semantic WebThe Semantic Web – ASWC 200610.1007/11836025_28
Chapter
Implementing Temporal Defeasible Logic for Modeling Legal ReasoningNew Frontiers in Artificial Intelligence10.1007/978-3-642-14888-0_5
Chapter
Computing Temporal Defeasible LogicTheory, Practice, and Applications of Rules on the Web10.1007/978-3-642-39617-5_13
Conference
Enabling agent reasoning over the webProceedings of the 6th Balkan Conference in Informatics10.1145/2490257.2490270
Conference
Extending a Defeasible Reasoner with Modal and Deontic Logic Operators2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology10.1109/WIIAT.2008.164
Article
A Modal Defeasible Reasoner of Deontic Logic for the Semantic WebInternational Journal on Semantic Web and Information Systems10.4018/jswis.2011010102
Chapter
A Modal Defeasible Reasoner of Deontic Logic for the Semantic WebSemantic Web10.4018/978-1-4666-3610-1.ch007

A Defeasible Logic Reasoner for the Semantic Web

Nick Bassiliades, Grigoris Antoniou, Ioannis Vlahavas

Source Title: International Journal on Semantic Web and Information Systems (IJSWIS)2(1)

Cite Article Cite Article

MLA

Bassiliades, Nick, et al. "A Defeasible Logic Reasoner for the Semantic Web." IJSWIS vol.2, no.1 2006: pp.1-41. http://doi.org/10.4018/jswis.2006010101

APA

Bassiliades, N., Antoniou, G., & Vlahavas, I. (2006). A Defeasible Logic Reasoner for the Semantic Web. International Journal on Semantic Web and Information Systems (IJSWIS), 2(1), 1-41. http://doi.org/10.4018/jswis.2006010101

Chicago

Bassiliades, Nick, Grigoris Antoniou, and Ioannis Vlahavas. "A Defeasible Logic Reasoner for the Semantic Web," International Journal on Semantic Web and Information Systems (IJSWIS) 2, no.1: 1-41. http://doi.org/10.4018/jswis.2006010101

Export Reference

Favorite Full-Issue Download

View Full Text PDF

Abstract

Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology integration, where conflicting information arises naturally; and for the modeling of business rules and policies, where rules with exceptions are often used. This paper describes these scenarios and reports on the implementation of a system for defeasible reasoning on the Web. The system, DR-DEVICE, is capable of reasoning about RDF metadata over multiple Web sources using defeasible logic rules. It is implemented on top of CLIPS production rule system and builds upon R-DEVICE, an earlier deductive rule system over RDF metadata that also supports derived attribute and aggregate attribute rules. Rules can be expressed either in a native CLIPS-like language, or in an extension of the OO-RuleML syntax. The operational semantics of defeasible logic are implemented through compilation into the generic rule language of R-DEVICE. The paper also presents a full semantic Web broker example for apartment renting.

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.

Username or email: *

Password: *

Forgot individual login password?

Create individual account

A Defeasible Logic Reasoner for the Semantic Web

MLA

APA

Chicago

Export Reference

Abstract

Request Access