Filters








48,874 Hits in 4.7 sec

A Methodology to Create Legal Ontologies in a Logic Programming Based Web Information Retrieval System

José Saias, Paulo Quaresma
2004 Artificial Intelligence and Law  
EVOLP is a dynamic logic programming framework allowing the definition of rules for actions and events.  ...  The ontology is defined in the OWL semantic web language and it is used in a logic programming framework, EVOLP+ISCO, to allow users to query the semantic content of the documents.  ...  This logic programming framework seems to be quite adequated to represent and to make inferences over OWL ontologies.  ... 
doi:10.1007/s10506-005-4162-1 fatcat:bv4an56zfvffnpg5iaos3wifoy

A Methodology to Create Legal Ontologies in a Logic Programming Information Retrieval System [chapter]

José Saias, Paulo Quaresma
2005 Lecture Notes in Computer Science  
EVOLP is a dynamic logic programming framework allowing the definition of rules for actions and events.  ...  The ontology is defined in the OWL semantic web language and it is used in a logic programming framework, EVOLP+ISCO, to allow users to query the semantic content of the documents.  ...  Then, a logic programming based framework is used to support inferences over the ontology.  ... 
doi:10.1007/978-3-540-32253-5_12 fatcat:bxqi6hwxevberfk6tizadc4qey

A Methodology to Create Ontology-Based Information Retrieval Systems [chapter]

José Saias, Paulo Quaresma
2003 Lecture Notes in Computer Science  
The ontology is defined in the OWL semantic web language and it is used by a logic programming framework, ISCO, to allow users to query the semantic content of the documents.  ...  In this paper a methodology to automatically create ontologies and class instances from documents is proposed.  ...  After the creation of the OWL ontology, documents are enriched with instances of classes and a logic programming based framework is used to support inferences over them.  ... 
doi:10.1007/978-3-540-24580-3_49 fatcat:g7baxqkoirezzpe7zcmkejcqyu

Semantic Service Composition Framework for Multidomain Ubiquitous Computing Applications [chapter]

Mohamed Hilila, Abdelghani Chibani, Karim Djouani, Yacine Amirat
2012 Lecture Notes in Computer Science  
In this paper we propose a semantic framework based on constructive description logic.  ...  The e-contract model is based on cooperation ontology and includes control rules.  ...  Each ontology is specified by using constructive description logics formulas.  ... 
doi:10.1007/978-3-642-34321-6_30 fatcat:qp4lzpqz5ffgnlig5xymzi5fwu

Constructive DL Update and Reasoning for Modeling and Executing the Orchestration of Heterogeneous Processes

Serge Autexier, Dieter Hutter
2013 International Workshop on Description Logics  
The failure or success of monitors can initiate procedures given as programs on actions and specified in a Dynamic Logic.  ...  In this paper we describe in particular the aspect of storing and maintaining the state of the system in Description Logic ontologies.  ...  Using Description Logic to represent the environment allows for processes being dynamic description logic (DDL) programs [7] over environment representations in description logic ontologies.  ... 
dblp:conf/dlog/AutexierH13 fatcat:bkyo6kihb5bkfbd2snm7mgdic4

Knowledge Representation and Reasoning: What's Hot

Chitta Baral, Giuseppe De Giacomo
2015 PROCEEDINGS OF THE THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE TWENTY-EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE  
This is an extended abstract about what is hot in the field of Knowledge Representation and Reasoning.  ...  In particular the notion of ontology-based data management has emerged, with the idea of superimposing an ontology as a shared conceptual layer (expressed in suitable description logics) over a set of  ...  Description Logics. Description logics have become one of the main sub area of KR. However, description logics are transforming deeply in these years.  ... 
doi:10.1609/aaai.v29i1.9344 fatcat:5rjtbt5eqbbqljhxm32dd7oaqi

Knowledge-based Management Model of Semi- Finished Product Flows in the Multicluster Tools (MCT) in Semiconductor Production

Igor Nikolaevich Kulikov
2016 Indian Journal of Science and Technology  
The authors investigated the ontological approach at a simulation flow modeling of the semi-finished products in the MCT and suggested the method of using regulations in the logical inference process,  ...  It is based on an ontological approach, in which one can work out modalities for the flow management of semi-finished products at a simulation modeling of the MCT, as well as to simulate control actions  ...  Results and Discussion The notion of ontology includes a description of the subject area, peculiarities and decision-making principles, which aim is to simplify the process of programming the behavior  ... 
doi:10.17485/ijst/2016/v9i29/89077 fatcat:uxnwqmgnhvgcnoktfwcekjecey

A new OWLAPI interface for HEX-programs applied to explaining contingencies in production planning

Peter Schüller
2020 European Conference on Artificial Intelligence  
Description Logics (DLs) and Logic Programs are formalisms for describing knowledge about the world.  ...  We here introduce a variation of the DL Program formalism for integrating description logics with Answer Set Programming (ASP).  ...  ACKNOWLEDGEMENTS We would like to acknowledge fruitful discussions about Description Logics and Production Planning with Magdalena Ortiz, Ivan Gocev, Raoul Blankertz, Sonja Zillner, and Stephan Grimm.  ... 
dblp:conf/ecai/Schuller20 fatcat:wvrakyhcjjarrhzrliqsyoi2re

Reformulating Temporal Action Logics in Answer Set Programming

Joohyung Lee, Ravi Palla
2021 PROCEEDINGS OF THE THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE TWENTY-EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE  
Temporal Action Logics (TAL) is a class of temporal logics for reasoning about actions. We present a reformulation of TAL in Answer Set Programming (ASP), and discuss some synergies it brings.  ...  Third, the reformulation allows us to compute integration of TAL and ontologies using answer set solvers, and we illustrate its usefulness in the healthcare domain in the context of medical expert systems  ...  Acknowledgements We are grateful to Jonas Kvarnström for his help on using VITAL and TALPlanner, and for answering our related questions.  ... 
doi:10.1609/aaai.v26i1.8229 fatcat:imonphairnbl3ds36qjuci5d6e

Knowledge based Recommendation System in Semantic Web - A Survey

Ayesha Ameen
2019 International Journal of Computer Applications  
Knowledge based recommendation systems use knowledge about users and products to make recommendations.  ...  In Semantic Web, knowledge is represented in the form of ontology.  ...  Description logic is a decidable fragment of first order predicate logic which is used to represent ontologies in Semantic Web [30] .  ... 
doi:10.5120/ijca2019918538 fatcat:4sjcikxbebdblcquhiysbte26u

Reformulating Action Language $\mathcal{C}$ + in Answer Set Programming [chapter]

Joohyung Lee
2012 Lecture Notes in Computer Science  
Temporal Action Logics (TAL) is a class of temporal logics for reasoning about actions. We present a reformulation of TAL in Answer Set Programming (ASP), and discuss some synergies it brings.  ...  Third, the reformulation allows us to compute integration of TAL and ontologies using answer set solvers, and we illustrate its usefulness in the healthcare domain in the context of medical expert systems  ...  Acknowledgements We are grateful to Jonas Kvarnström for his help on using VITAL and TALPlanner, and for answering our related questions.  ... 
doi:10.1007/978-3-642-30743-0_28 fatcat:w7kttp35tvghpndd2dgagqqyi4

Neuro-Symbolic Techniques for Description Logic Reasoning (Student Abstract)

Gunjan Singh, Sutapa Mondal, Sumit Bhatia, Raghava Mutharaju
2021 AAAI Conference on Artificial Intelligence  
To fill this gap, we propose two approaches: an ontology-based embedding model for theories in EL ++ description logic and a reinforcement learning-based solution for efficient tableau-based reasoning  ...  on description logic.  ...  for efficient tableaubased reasoning for description logic.  ... 
dblp:conf/aaai/SinghMBM21 fatcat:k7cngkni75dbbcyf62ghjn5jku

Automated eContract Negotiation in Web Service Environment: Electronic Contract Management Aspects

Marius Sauciunas
2012 International Baltic Conference on Databases and Information Systems  
It presents also a critical analysis of the proposed approaches and summarizes their challenges and drawbacks.  ...  Therefore in the contract representation language the commitments must be explicitly represented and specify what should be done, if the legal norms defined by policies are violated, and inform the parties  ...  The start point of the SweetDeal formalism was pure logic programs. Over the pure logic programs the so-called acyclic (non-recursive) courteous logic programs (CLP) have been defined.  ... 
dblp:conf/balt/Sauciunas12 fatcat:amigqz2hjvemdg2w6u2ukxdgwy

A survey of formalisms for representing and reasoning with scientific knowledge

Anthony Hunter, Weiru Liu
2010 Knowledge engineering review (Print)  
Some KR formalisms have been applied to capturing scientific knowledge, in particular description logics, logic programming, argumentation systems, and uncertainty formalisms.  ...  To address these problems, developments in the application of knowledge representation and reasoning technologies can allow scientific knowledge to be captured in logic-based formalisms.  ...  Description logics in OWL have been used to develop new ontologies and to analyze and improve existing ontologies.  ... 
doi:10.1017/s0269888910000019 fatcat:ijdmd5gnobhxdjka2rjrrkztcq

Ontology-Enriched Data Management with Partially Complete Data

Sanja Pavlovic
2019 International Web Rule Symposium  
As fragments of first-order logic, description logics (DLs) make the assumption that what is not known to be true is unknown (open-world assumption).  ...  Finally, we develop formalisms based on DLs with CWA to reason about actions and change.  ...  Acknowledgements This thesis is supervised by Magdalena Ortiz and Mantas Šimkus and it is funded by the FWF projects P30360, P30873 and W1255.  ... 
dblp:conf/ruleml/Pavlovic19 fatcat:6k7lcbkchbelraqelcu33frpry
« Previous Showing results 1 — 15 out of 48,874 results