12,709 Hits in 8.1 sec

Rules and Queries with Ontologies: A Unified Logical Framework [chapter]

Enrico Franconi, Sergio Tessaris
2004 Lecture Notes in Computer Science  
In this paper we present a common framework for investigating the problem of combining ontology and rule languages.  ...  In the last part, we will show how rules are strictly related to queries. We claim that any choice of rule language for the semantic web should clearly define its semantics.  ...  OWL-Log is based on the various dialects of OWL (OWL-Lite and OWL-DL), and a syntax based on the interoperation between OWL and RuleML is planned.  ... 
doi:10.1007/978-3-540-30122-6_4 fatcat:2mylhvs45jekznakbhsswmazpi

Towards a Logic-Based Unifying Framework for Computing [article]

Robert Kowalski, Fariba Sadri
2014 arXiv   pre-print
We also extend the model with intentional predicates and composite event predicates defined by logic programs containing conditions in first-order logic, which query the current state.  ...  In this paper we propose a logic-based, framework inspired by artificial intelligence, but scaled down for practical database and programming applications.  ...  Many thanks also to David Kinny and Ken Satoh for helpful discussions, and to Ken Satoh and Luis Pereira for their comments on an earlier draft of this paper.  ... 
arXiv:1301.6905v2 fatcat:ff3obn7povf2bn5zkvy4wxzqvm

Development of Medical Ontology "HoPRO" (Hospital PRocess Ontology)

Vasilios A Keramaris, Konstantinos Danas
2014 Studies in Health Technology and Informatics  
This ontology is developed here and its value is demonstrated through a case study.  ...  The different information systems (IS) will be able to efficiently communicate with each other and provide a patient oriented environment.  ...  described semantically;  Domain knowledge (e.g. technical constraints, business rules), stored it in the form of axioms;  Queries expressed in SPARQL query language; Conclusions and Discussion The  ... 
pmid:25000019 fatcat:s4ijgccsdbgkhbmpl2taehce7a

Ontological logic programming

Murat Şensoy, Geeth de Mel, Wamberto W. Vasconcelos, Timothy J. Norman
2011 Proceedings of the International Conference on Web Intelligence, Mining and Semantics - WIMS '11  
In this paper, we propose a novel approach that combines logic programming with ontological reasoning. The proposed approach enables the use of ontological terms directly within logic programs.  ...  We demonstrate the usefulness of the proposed approach using a case-study of sensor-task matchmaking.  ...  In this paper, we propose Ontological Logic Programming (OLP) 1 , a novel approach that combines LP with DL-based ontological reasoning.  ... 
doi:10.1145/1988688.1988740 dblp:conf/wims/SensoyMVN11 fatcat:dh6jcsonpbg3bixlz66rvt76pi

Agent-Based Ontology Mapping Towards Ontology Interoperability [chapter]

Li Li, Yun Yang, Baolin Wu
2005 Lecture Notes in Computer Science  
Challenges arise when we look a step further in order to achieve flexibility and scalability of the ontology management.  ...  Previous works in ontology management, primarily for ontology mapping, ontology integration and ontology evolution, have  ...  For example, when a user performs a query, the user inputs the query term and the ontology to query.  ... 
doi:10.1007/11589990_93 fatcat:3oecb5jswnahvnionv62yplhqm

Ontological Query Answering with Existential Rules [chapter]

Marie-Laure Mugnier
2011 Lecture Notes in Computer Science  
To tackle this problem, we consider a logical framework based on existential rules, also called Tuple-Generating Dependencies or Datalog+/-rules. This framework can also be defined in graph terms.  ...  Query entailment with existential rules is not decidable, thus a crucial issue is to define decidable classes of rules as large as possible.  ...  The author thanks Sebastian Rudolph for his careful reading of this paper and helpful comments.  ... 
doi:10.1007/978-3-642-23580-1_2 fatcat:tv247xwuofb2lcqavb6snjpl2e

Interoperability of disparate engineering domain ontologies using basic formal ontology

Thomas J. Hagedorn, Barry Smith, Sundar Krishnamurty, Ian Grosse
2019 Journal of engineering design  
Key among these is lack of a shared top-level ontology to unify and organize disparate aspects of the field and coordinate co-development of orthogonal ontologies.  ...  The method and its facilitation through the ontological framework are demonstrated using a case study in medicine.  ...  On their own the top and mid-level ontologies might be used to express very general versions of the information captured in the unified framework.  ... 
doi:10.1080/09544828.2019.1630805 fatcat:c7o73vu5irfzzbruqswebvh7pm

NeuMORE: Ontology in stroke recovery

Christopher Townsend, Jingshan Huang, Dejing Dou, Haishan Liu, Lei He, Patrick Hayes, Robert Rudnick, Hardik Shah, Dennis Fell, Wei Liu
2010 2010 IEEE International Conference on Bioinformatics and Biomedicine Workshops (BIBMW)  
Based upon a domain-specific ontology, NeuMORE, we propose a computing framework that aims to facilitate knowledge acquisition from existing sources via semantics-enhanced data mining (SEDM) techniques  ...  Currently, such prediction is primarily a manual process and remains a challenging task to PR researchers and clinicians.  ...  With the correspondence between data sources and the global schema (the NeuMORE ontology) established in Phase Two, user queries will be translated into RDF-based queries. D.  ... 
doi:10.1109/bibmw.2010.5703925 fatcat:6uih6msw7fdqjntdnhd4hmrniu

Ontology-Based Querying of Composite Services [chapter]

Fabrizio Smith, Michele Missikoff, Maurizio Proietti
2012 Lecture Notes in Computer Science  
The proposed solution is based on a synergic use of a business process modelling framework (BPAL) to represent the workflow logic of business processes, and business ontologies, aimed at capturing the  ...  It searches for subprocesses that i) start with an activity that processes a purchase order, and ii) both a delivering and an invoicing are eventually executed (response dependency).  ...  We also wish to acknowledge our gratitude and appreciation to all BIVEE project partners for their contribution during the development of various ideas and concepts presented in this paper.  ... 
doi:10.1007/978-3-642-32439-0_10 fatcat:opfxqf74jjcftmz324oaglbqz4

Les ontologies en agriculture

Catherine Roussey, Jean-Pierre Chanet, Vincent Soulignac, Stephan Bernard
2011 Ingénierie des Systèmes d'Information  
In this paper, we present different types of ontologies and we explain how next generation of information system will benefit from the use of ontologies to resolve interoperability issues.  ...  Ontologies have been used for the last decades for a set of tasks, one of which is focused on achieving interoperability between heterogeneous information systems.  ...  Logical Ontologies This type of ontologies require a clear semantics for the language used to define the concept, clear motivations for the adopted distinctions between concepts as well as strict rules  ... 
doi:10.3166/isi.16.3.55-84 fatcat:m3clwq53t5gddo7ajyj26sw4ce

NGSON Service Composition Ontology

Reinhard Schrage
2014 Journal of Cyber Security and Mobility  
The paradigm of Next Generation Service Overlay Networks (NGSON) strives to provide a unified and standardized framework of IP-based service overlay networks, creating an ecosystem of context-aware, dynamically  ...  In order to be feasible for NGSON a service composition ontology also needs to include concepts from deontic logic, i.e. needs to be able to differentiate between omissible and permissible classes, or  ...  will be able to deduct further service composition rules by applying Deontic Logic methods: Interfacing with NFV and SDN OWL2 ontologies may be augmented by forms of Rule Interchange Format, a further  ... 
doi:10.13052/jcsm2245-1439.238 fatcat:7kmmifjfd5hjfjtzxvtyi67eu4

E‐Service Composition Ontology [chapter]

Farzad Sanati
2018 Ontology in Information Science  
This chapter proposes the life-event ontology that is a logical extension of OWL-S for implementation of e-service integration modelling framework proposed in prior publications.  ...  This study building on prior publications is attempting to introduce and provide new technical guidelines for a new ontology that extends Ontology Web Language for Services (OWL-S) as knowledgebase and  ...  An example of a query which can be done using an ontology which is difficult to do using a Simple Query Language (SQL) query is 'Given a service class, find all logically related matches to my query'.  ... 
doi:10.5772/intechopen.68467 fatcat:waa2xqp52vgdhozyljxfwgnphy

Deriving axioms across ontologies

Dejing Dou, Drew McDermott
2006 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems - AAMAS '06  
Instead we extend our inferential ontology translation for facts (ground atomic formulas) and queries to cover axioms using a method we call axiom derivation.  ...  Ontologies play a key role in agent communication and the emerging Semantic Web. Axioms are an important component of ontologies to describe the relationships among the concepts.  ...  In this paper, we will give a formal characterization of ontology translation that unifies the translation of facts, queries and axioms in one inferential framework (section 2).  ... 
doi:10.1145/1160633.1160803 dblp:conf/atal/DouM06 fatcat:2f2j74xqcngsnhe3d3dvmrab7q

Ontology-based integration for relational databases

Dejing Dou, Paea LePendu
2006 Proceedings of the 2006 ACM symposium on Applied computing - SAC '06  
The performance evaluation for query answering shows that OntoGrate reformulates conjunctive queries and retrieves over 100,000 answers from a target database in under 30 seconds.  ...  Our OntoGrate architecture combines ontology-based schema representation, first order logic inference, and some SQL wrappers to integrate two sample relational databases.  ...  The COMA [10] framework combines schemas with a reference ontology and uses composition to build mappings. Our approach is to define schema mappings as first order logic axioms.  ... 
doi:10.1145/1141277.1141387 dblp:conf/sac/DouL06 fatcat:ck5jahsvxzcddink735zfcklkq

Towards Ontology-Based Program Analysis

Yue Zhao, Guoyang Chen, Chunhua Liao, Xipeng Shen, Marc Herbstritt
2016 European Conference on Object-Oriented Programming  
We develop a prototype framework named PATO for conducting program analysis upon ontology-based program representation.  ...  As a way to standardize the definitions of concepts in a domain and the representation of the knowledge in the domain, ontology offers a promising way to address the limitations of current declarative  ...  Prolog provides a general interface for input logic rules and queries.  ... 
doi:10.4230/lipics.ecoop.2016.26 dblp:conf/ecoop/ZhaoCLS16 fatcat:4rkqm6zo6nba5n52npti4fz5ja
« Previous Showing results 1 — 15 out of 12,709 results