Filters








915 Hits in 3.8 sec

Nonmonotonic Rule Systems on Top of Ontology Layers [chapter]

Grigoris Antoniou
2002 Lecture Notes in Computer Science  
The development of the Semantic Web proceeds in layers.  ...  In this paper we outline how nonmonotonic rule systems in the form of defeasible reasoning, can be built on top of description logics.  ...  The next step in the development of the semantic web core will be the realization of the logic and proof layers.  ... 
doi:10.1007/3-540-48005-6_30 fatcat:dtqboux5pbelvncymopemnennm

Development of a Logic Layer in the Semantic Web: Research Issues

Naeem Khalid Janjua, Farookh Khadeer Hussain
2010 2010 Sixth International Conference on Semantics, Knowledge and Grids  
The ontology layer of the semantic web is now mature enough (i.e. standards like RDF, RDFs, OWL, OWL 2) and the next step is to work on a logic layer for the development of advanced reasoning capabilities  ...  defeasible argumentative reasoning in the semantic web applications.  ...  DeLP [24] is a formalism that combines the result of logic programming and defeasible argumentation.  ... 
doi:10.1109/skg.2010.61 dblp:conf/skg/JanjuaH10 fatcat:ln3pql6ftzhmzf4x6uuq232mwm

Dually Structured Concepts in the Semantic Web: Answer Set Programming Approach [chapter]

Patryk Burek, Rafał Graboś
2005 Lecture Notes in Computer Science  
There is an ongoing discussion whether reasoning in the Semantic Web should be monotonic or not.  ...  The translation of annotated OWL axioms into a logic program under answer set semantics is provided.  ...  We are indebted to Hesham Khalil, Sören Auer, Frank Loebe and Sebastian Dietzold for fruitful discussions and to the anonymous reviewers for feedback on earlier versions of this paper.  ... 
doi:10.1007/11431053_26 fatcat:tnntmzjcmbepnl6nva7zh3hwn4

DR-BROKERING: A semantic brokering system

Grigoris Antoniou, Thomas Skylogiannis, Antonis Bikakis, Martin Doerr, Nick Bassiliades
2007 Knowledge-Based Systems  
The proposed solution uses the Semantic Web standard of RDF to represent the offerings, and a deductive logical language for expressing the requirements and preferences.  ...  domain, thus connecting semantic annotations with each other and serving as a basis for interoperability.  ...  Rules and Priorities on the Semantic Web At present, the highest layer that has reached sufficient maturity is the ontology layer in the form of the description logic based language OWL [21] .  ... 
doi:10.1016/j.knosys.2006.07.006 fatcat:rx73h522pfe4zmfpvcx75xrlji

DR-DEVICE: A Defeasible Logic System for the Semantic Web [chapter]

Nick Bassiliades, Grigoris Antoniou, Ioannis Vlahavas
2004 Lecture Notes in Computer Science  
The paper includes a use case of a semantic web broker that reasons defeasibly about renting apartments based on buyer's requirements (expressed RuleML defeasible logic rules) and seller's advertisements  ...  This paper presents DR-DEVICE, a system for defeasible reasoning on the Web. Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information.  ...  Conflicting Rules on the Semantic Web In this section we describe in more detail certain scenarios that justify the need for defeasible reasoning on the Semantic Web.  ... 
doi:10.1007/978-3-540-30122-6_10 fatcat:7cdbrtiveneyhmjaawohlzxrny

A System for Nonmonotonic Rules on the Web [chapter]

G. Antoniou, A. Bikakis, G. Wagner
2004 Lecture Notes in Computer Science  
This paper describes these scenarios in more detail, and reports on the implementation of a system for defeasible reasoning on the Web.  ...  The system (a) is syntactically compatible with RuleML; (b) features strict and defeasible rules and priorities; (c) is based on a translation to logic programming with declarative semantics; and (d) is  ...  So, in general rule systems can play a twofold role in the Semantic Web initiative: (a) they can serve as extensions of, or alternatives to, description logic based ontology languages; and (b) they can  ... 
doi:10.1007/978-3-540-30504-0_3 fatcat:k3x624xzurh2fe2mzmc54ft73y

A SEMANTIC BROKERING SYSTEM FOR THE TOURISM DOMAIN

GRIGORIS ANTONIOU, THOMAS SKYLOGIANNIS, ANTONIS BIKAKIS, NICK BASSILIADES
2005 Information Technology & Tourism  
The proposed solution uses the Semantic Web standard of RDF to represent the offerings, and a deductive logical language for expressing the requirements and preferences.  ...  The tourism industry is a good candidate for taking up Semantic Web technology.  ...  The Rule Translator is responsible for transforming the rules submitted by the Service Requester using the syntax of defeasible logic, into Prolog rules that emulate the semantics of defeasible logic.  ... 
doi:10.3727/109830505774297274 fatcat:ygwh2q42braalkrlob6cd2wcne

Page 8383 of Mathematical Reviews Vol. , Issue 2000m [page]

2000 Mathematical Reviews  
Rules which can be defeated are called defeasible rules and logics using defeasible rules are called defeasible logics.  ...  But generally, adding descriptions to semantically closed theo- ries trivializes them. The author shows how to add a description operator to a semantically closed theory without trivializing it.  ... 

Logical approaches to imprecise probabilities

Thomas Lukasiewicz
2008 International Journal of Approximate Reasoning  
It presents novel probabilistic description logic programs for the Rules, Logic, and Proof layers of the Semantic Web, which combine probabilistic logic programs, probabilistic default theories, and the  ...  description logics behind OWL Lite and OWL DL.  ...  Acknowledgements I would like to thank Marco Zaffalon and Thierry Denoeux for crucial support at various stages of this special issue, and Fabio G. Cozman for his editorial help.  ... 
doi:10.1016/j.ijar.2007.08.004 fatcat:zlenk5w55fey5juugthfvcq3rm

A Graphical Rule Authoring Tool for Defeasible Reasoning in the Semantic Web [chapter]

Nick Bassiliades, Efstratios Kontopoulos, Grigoris Antoniou, Ioannis Vlahavas
2005 Lecture Notes in Computer Science  
Such reasoning is useful for many applications in the Semantic Web, such as policies and business rules, agent brokering and negotiation, ontology and knowledge merging, etc.  ...  However, the syntax of defeasible logic may appear too complex for many users.  ...  Acknowledgments This work is partially funded by the Greek Ministry of Education (EPEAEK) and the European Union under the Pythagoras II programme.  ... 
doi:10.1007/11573036_38 fatcat:eoqqak6lbrcxlkecqlbca3rnve

Inconsistent Ontology Handling by Translating Description Logics into Defeasible Logic Programming

Sergio Alejandro Gómez, Carlos Iván Chesñevar, Guillermo Ricardo Simari
2007 Inteligencia Artificial  
The Semantic Web is a future vision of the web where stored information has exact meaning, thus enabling computers to understand and reason on the basis of such information.  ...  We propose a method for dealing with inconsistent ontology definitions in the Semantic Web. Our proposal involves mapping DL ontologies into DeLP programs.  ...  The authors would also like to thank the anonymous reviewers for helpful comments to improve the final version of this paper.  ... 
doi:10.4114/ia.v11i35.896 fatcat:kukm3j3habaxjjkgaa67akovpy

Semantic Knowledge Transformation for Context-aware Heterogeneous Formalisms

Hafiz Mahfooz Ul Haque, Sajid Ullah, Ibrar Hussain
2019 International Journal of Advanced Computer Science and Applications  
This paper presents the semantic knowledge transformation techniques for ontology-driven context-aware formalisms to model heterogeneous systems.  ...  Context-awareness has the capability to identify the current situation and respond accordingly in the environment whenever and wherever needed.  ...  The semantic web is a set of standards that can be used for RDF data model, query languages and web ontology language (OWL) to store vocabularies and ontologies.  ... 
doi:10.14569/ijacsa.2019.0101285 fatcat:qfjemwjrg5deflvc7jvghr3vca

A Defeasible Logic Reasoner for the Semantic Web

Nick Bassiliades, Grigoris Antoniou, Ioannis Vlahavas
2006 International Journal on Semantic Web and Information Systems (IJSWIS)  
The paper also presents a full semantic web broker example for apartment renting.  ...  The system is called DR-DEVICE and is capable of reasoning about RDF metadata over multiple Web sources using defeasible logic rules.  ...  ) and the European Union.  ... 
doi:10.4018/jswis.2006010101 fatcat:gcf3m75ymvbwheu37hpgdphvp4

A Defeasible Logic Reasoner for the Semantic Web [chapter]

Nick Bassiliades, Grigoris Antoniou, Ioannis Vlahavas
2004 Lecture Notes in Computer Science  
The paper also presents a full semantic web broker example for apartment renting.  ...  The system is called DR-DEVICE and is capable of reasoning about RDF metadata over multiple Web sources using defeasible logic rules.  ...  ) and the European Union.  ... 
doi:10.1007/978-3-540-30504-0_5 fatcat:6gagrjig3vbltaisane7uf6hra

Towards law-aware semantic cloud policies with exceptions for data integration and protection

Yuh-Jong Hu, Win-Nan Wu, Di-Rong Cheng
2012 Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics - WIMS '12  
with negation, e.g., Datalog ¬ , rules are used for defeasible rules reasoning. 4 The research challenging is how to integrate two families of logics, description logic (DL) and logic program (LP), for  ...  with negation, e.g., Datalog ¬ , rules are used for defeasible rules reasoning. 4 The research challenging is how to integrate two families of logics, description logic (DL) and logic program (LP), for  ...  Semantic Legal Policies  ... 
doi:10.1145/2254129.2254162 dblp:conf/wims/HuWC12 fatcat:nu6md2xevrafnavrbtunczjqjy
« Previous Showing results 1 — 15 out of 915 results