Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
CABARET: rule interpretation in a hybrid architecture
International Journal of Man-Machine Studies - AI and legal reasoning. Part 1
Hard problems for simple default logics
Artificial Intelligence - Special issue on knowledge representation
Temporal, spatial, and constraint handling in the Conceptual Programming environment, CP
Journal of Experimental & Theoretical Artificial Intelligence - Special issue: conceptual graphs workshop
Directed hypergraphs and applications
Discrete Applied Mathematics - Special issue: combinatorial structures and algorithms
The use of meta-rules in rule based legal computer systems
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
Handbook of discrete and computational geometry
Defeasible logic graphs: I. Theory
Decision Support Systems - Special issue: logic modeling
Defeasible logic graphs: II. Implementation
Decision Support Systems - Special issue: logic modeling
A semantic decomposition of defeasible logics
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Representation results for defeasible logic
ACM Transactions on Computational Logic (TOCL)
A formal approach to protocols and strategies for (legal) negotiation
Proceedings of the 8th international conference on Artificial intelligence and law
Executable declarative business rules and their use in electronic commerce
Proceedings of the 2002 ACM symposium on Applied computing
Graph Drawing: Algorithms for the Visualization of Graphs
Graph Drawing: Algorithms for the Visualization of Graphs
A Flexible Framework for Defeasible Logics
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
AI Magazine
Propositional defeasible logic has linear complexity
Theory and Practice of Logic Programming
Tool integration at the meta-model level: the Fujaba approach
International Journal on Software Tools for Technology Transfer (STTT) - Special section on tool integration applications and frameworks
ISWIVE: An Integrated Semantic Web Interactive Visualization Environment
AINA '05 Proceedings of the 19th International Conference on Advanced Information Networking and Applications - Volume 2
Argumentation Semantics for Defeasible Logic
Journal of Logic and Computation
Embedding defeasible logic into logic programming
Theory and Practice of Logic Programming
A Graphical RDF-Based Meta-Model Management Tool
IEICE - Transactions on Information and Systems
DR-BROKERING: A semantic brokering system
Knowledge-Based Systems
DR-NEGOTIATE - A system for automated agent negotiation with defeasible logic-based strategies
Data & Knowledge Engineering
International Journal of Electronic Commerce
Proof explanation in the DR-DEVICE system
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
An application of semantic web technologies to situation awareness
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Supporting rule system interoperability on the semantic web with SWRL
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Visualizing defeasible logic rules for the semantic web
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
A visual environment for developing defeasible rule bases for the semantic web
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Semantics preserving SPARQL-to-SQL translation
Data & Knowledge Engineering
RDFProv: A relational RDF store for querying and managing scientific workflow provenance
Data & Knowledge Engineering
ANGLE: An autonomous, normative and guidable agent with changing knowledge
Information Sciences: an International Journal
RuleML 1.0: the overarching specification of web rules
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Visualizing Semantic Web proofs of defeasible logic in the DR-DEVICE system
Knowledge-Based Systems
Data & Knowledge Engineering
Defeasible Reasoning Based Argumentative Web-IDSS for Virtual Teams (VTs)
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 03
A multi-layer framework for personalized social tag-based applications
Data & Knowledge Engineering
Hi-index | 0.00 |
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 rule-based approach to reasoning with incomplete and conflicting information, is a powerful tool in many Semantic Web applications. Despite its strong mathematical background, logic, in general, and defeasible logic, in particular, may overload the user with tons of additional complex semantic relationships among data and metadata of the Semantic Web. To this end, a comprehensible, visual representation of these semantic relationships (rules) would help users understand them and make more use of them. This paper presents VDR-DEVICE, a defeasible reasoning system, designed specifically for the Semantic Web environment. VDR-DEVICE is an integrated development environment for deploying and visualizing defeasible logic rule bases on top of RDF Schema ontologies. The system consists of a number of sub-components, which, though developed autonomously, are combined efficiently, forming a flexible framework. The system employs a defeasible reasoning system that supports direct importing and processing of RDF data and RDF Schema ontologies as well as a number of user-friendly rule base and ontology visualization modules.