1,483 Hits in 2.7 sec

Nonmonotonic Rule Systems on Top of Ontology Layers [chapter]

Grigoris Antoniou
2002 Lecture Notes in Computer Science  
The next step will be the the realization of logical rule systems on top of the ontology layer.  ...  Computationally simple nonmonotonic rule systems show promise to play an important role in electronic commerce on the Semantic Web.  ...  The integration of nonmonotonic rule systems with description logic based ontologies can serve two purposes: (1) Enhanced reasoning capabilities may be used to express richer ontological knowledge.  ... 
doi:10.1007/3-540-48005-6_30 fatcat:dtqboux5pbelvncymopemnennm

The limits and possibilities of combining Description Logics and Datalog

Riccardo Rosati
2006 2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML'06)  
The problem of adding rules to Description Logics is currently a hot research topic, due to the interest of Semantic Web applications towards the integration of rule-based systems with ontologies.  ...  Description Logics are currently the most used formalisms for building ontologies, and have been proposed as standard languages for the specification of ontologies in the Semantic Web.  ...  Ontologies and Description Logics Description Logics (DLs) are currently the most used formalisms for building ontologies, and have been proposed as standard languages for the specification of ontologies  ... 
doi:10.1109/ruleml.2006.22 dblp:conf/ruleml/Rosati06 fatcat:qnzkeco7qnf3fhqoegkcorc3cm

The DReW System for Nonmonotonic DL-Programs [chapter]

Guohui Xiao, Thomas Eiter, Stijn Heymans
2013 Springer Proceedings in Complexity  
Nonmonotonic DL-programs provide a loose integration of Description Logic (DL) ontologies and Logic Programming (LP) rules with negation, where a rule engine can query an ontology with a native DL reasoner  ...  We developed the reasoner DReW that uses the Datalog-rewriting technique.  ...  Introduction Nonmonotonic DL-programs [5] provide a loose integration of Description Logic (DL) ontologies and Logic Programming (LP) rules with negation, where a rule engine can query an ontology using  ... 
doi:10.1007/978-1-4614-6880-6_33 dblp:conf/csemws/XiaoEH12 fatcat:ps5d2sroevedzabpfssizprow4

A System for Nonmonotonic Rules on the Web [chapter]

G. Antoniou, A. Bikakis, G. Wagner
2004 Lecture Notes in Computer Science  
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  ...  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  ...  Thus, nonmonotonic rule systems can support ontology integration.  ... 
doi:10.1007/978-3-540-30504-0_3 fatcat:k3x624xzurh2fe2mzmc54ft73y

Representing default knowledge in biomedical ontologies: application to the integration of anatomy and phenotype ontologies

Robert Hoehndorf, Frank Loebe, Janet Kelso, Heinrich Herre
2007 BMC Bioinformatics  
Conclusion: Biomedical ontologies require a new class of relations that can be used in conjunction with default knowledge, thereby extending those currently in use.  ...  Inconsistencies may arise when ontologies of properties -mostly phenotype ontologies -are combined with ontologies taking a canonical view of a domain -such as many anatomical ontologies.  ...  Limitations A major drawback of the system we are using, DLVHEX, is its use of RACER [40] as a description logic reasoner and of DLV [33] as a datalog system.  ... 
doi:10.1186/1471-2105-8-377 pmid:17925014 pmcid:PMC2180186 fatcat:erqxq455jzbxhg5q2la5kqwdda

A system for modal and deontic defeasible reasoning

Grigoris Antoniou, Nikos Dimaresis, Guido Governatori
2008 Proceedings of the 2008 ACM symposium on Applied computing - SAC '08  
While initially the focus has been on monotonic rule systems [6, 7, 8] , nonmonotonic rule systems are increasingly gaining attention [9, 10, 11] .  ...  Now that the layers of metadata (RDF) and ontology (OWL) are stable, an important focus is on rule languages for the semantic web.  ...  Implementation Our nonmonotonic rule-based system supports reasoning in defeasible logic, extended with the modalities.  ... 
doi:10.1145/1363686.1364226 dblp:conf/sac/AntoniouDG08 fatcat:fdu6v2dkrfd5xie7kgoytvzesa

A Categorial Context with Default Reasoning Approach to Heterogeneous Ontology Integration [chapter]

Ruliang Xiao, Shengqun Tang
2007 Lecture Notes in Computer Science  
using default reasoning.  ...  The core part of the formalism is a categorial context based on the DL, which captures and explicitly represents the information about contexts, and constructs nonmonotonic default reasoning.  ...  JESS, a Java Expert System Shell, can be used as a default reasoning engine. Fig. 1 .  ... 
doi:10.1007/978-3-540-72586-2_98 fatcat:i53g6cpugzesbmtbslmym7kugm

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.  ...  and the law of Leibniz in ontology.  ... 

A Defeasible Ontology Language [chapter]

S. Heymans, D. Vermeir
2002 Lecture Notes in Computer Science  
Since a description logic can be viewed as an ontology language, or a proper translation of one, we obtain a defeasible ontology language.  ...  Furthermore, we impose a preferred model semantics, thus effectively introducing nonmonotonicity into ¢ £ ¦ ¥ § .  ...  We argue that a description logic with a preference order may prove useful when integrating ontologies, since conflicting rules may be defeated.  ... 
doi:10.1007/3-540-36124-3_66 fatcat:f5mgy2546vbt3c4pjwr7wbk7wi

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

Patryk Burek, Rafał Graboś
2005 Lecture Notes in Computer Science  
Hence the answer set solver Smodels may be used as reasoner for annotated ontologies, handling properly the distinction between monotonic and nonmonotonic reasoning.  ...  We develop a metaontology for representing both types of a concept's structure and apply it for annotating OWL axioms.  ...  Epistemic negation makes ASP a nonmonotonic system. Default rules, whose conclusions are defeasible in the light of certain knowledge, are represented using epistemic negation.  ... 
doi:10.1007/11431053_26 fatcat:tnntmzjcmbepnl6nva7zh3hwn4

On the decidability and complexity of integrating ontologies and rules

2005 Journal of Web Semantics  
We define the formal framework of r-hybrid knowledge bases (KBs) integrating ontologies and rules. A r-hybrid KB has a structural component (ontology) and a rule component.  ...  As a consequence, we are able to show that such a framework of r-hybrid KBs comprises many systems proposed for combining rules and Description Logics. Then, we study reasoning in r-hybrid KBs.  ...  assumption underlying nonmonotonic systems.  ... 
doi:10.1016/j.websem.2005.05.002 fatcat:w5mk6euzbjfwhcmjqdwa3zk4py

A Formal Ontology Discovery from Web Documents [chapter]

Norihiro Ogata
2001 Lecture Notes in Computer Science  
This paper will propose a formal basis and logic-, Web-technology-and Natural Language Processing-based system architecture of ontology discovery from WWW documents as an efficient utilization of Web resources  ...  A Formal Ontology and FOML (Formal Ontology Markup Language) where O is a classification, C O a concept lattice generated by O, and O a set of Horn-constraints supported by O.  ...  This system can be refined as a practical knowledge acquisition and information retrieval system on WWW using the Java language.  ... 
doi:10.1007/3-540-45490-x_66 fatcat:raksau5ebjchxfx3hnq2327m24

A rule-based ontological framework for the classification of molecules

Despoina Magka, Markus Krötzsch, Ian Horrocks
2014 Journal of Biomedical Semantics  
To this end, OWL-a W3C standard declarative language-has been extensively used in the deployment of biochemical ontologies that can be conveniently organised using the classification facilities of OWL-based  ...  The software we present implements a sound and complete reasoning procedure of a formalism that extends datalog and builds upon an off-the-shelf deductive database system.  ...  Acknowledgements We would like to thank Dr Chris Batchelor-McAuley for answering our chemistry questions and the anonymous reviewers of this article for providing useful references and highly constructive  ... 
doi:10.1186/2041-1480-5-17 pmid:24735706 pmcid:PMC4040517 fatcat:rsaeajmrpbglpjlczpudqo7gbu

Integrating Ontologies and Rules: Semantic and Computational Issues [chapter]

Riccardo Rosati
2006 Lecture Notes in Computer Science  
Finally, we illustrate the main open problems in this research area, pointing out what still prevents us from the development of both effective and expressive systems able to integrate ontologies and rules  ...  We present some recent results on the definition of logicbased systems integrating ontologies and rules.  ...  Acknowledgments The author is grateful to a lot of people for many stimulating discussions on the subject of this paper.  ... 
doi:10.1007/11837787_5 fatcat:yq2djlkxnvctfkhhmfsnaiazxe

DC Proposal: Towards a Framework for Efficient Query Answering and Integration of Geospatial Data [chapter]

Patrik Schneider
2011 Lecture Notes in Computer Science  
We seek to combine spatial reasoning, (nonmonotonic) logic programming, and ontologies for integrating geospatial databases with Semantic Web technologies.  ...  Finally, the findings should lead to a proof-of-concept implementation, which will be tested for efficiency and modularity in artificial and real-world use cases.  ...  In the proposed systems an additional annotation step is used together with a domain specific ontology, with this step semantics is added to the elements of a web page.  ... 
doi:10.1007/978-3-642-25093-4_28 fatcat:kixcjktwxzgc3azybnidhu6aqu
« Previous Showing results 1 — 15 out of 1,483 results