Filters








381,613 Hits in 5.1 sec

A Contextualized Knowledge Framework for Semantic Web [chapter]

Mathew Joseph
2010 Lecture Notes in Computer Science  
Some of the future milestones for this thesis work are to (i) develop a proof theory for the logical framework based on Description Logics (DL) (ii) develop reasoning algorithms (iii) verify and compare  ...  We point out the drawbacks of existing formalism for contexts that hinder an efficient implementation and propose a context formalism that enables the development of a framework with desired properties  ...  Some of the future milestones to be achieved for this thesis work are (i) develop a proof theory for the logical framework based on Description Logics (DL) (ii) developing reasoning algorithms (iii) verify  ... 
doi:10.1007/978-3-642-13489-0_45 fatcat:qhzuqvogdfel7htuxyrfz6ci6y

Page 35 of Technology + Society Vol. 4, Issue 2 [page]

1968 Technology + Society  
The logic which in turn is presupposed in the mathe- matical reasoning is usually left unformulated.  ...  But we may imagine a text-book on classical mechanics which contains in a first appendix the mathematics presupposed by the physical reasoning, and in a second appendix the logic presupposed by the mathematical  ... 

Page 306 of The Advancement of Science Vol. 24, Issue 121 [page]

1968 The Advancement of Science  
The logic which in turn is presupposed in the mathe- matical reasoning is usually left unformulated.  ...  But we may imagine a textbook on classical mech- anics which contains in a first appendix the mathe- matics presupposed by the physical reasoning, and in a second appendix the logic presupposed by the  ... 

An Architecture for Verification of Access Control Policies with Multi Agent System Ontologies

Fatih Tekbacak, Tugkan Tuglular, Oguz Dikenelli
2009 2009 33rd Annual IEEE International Computer Software and Applications Conference  
for resources.  ...  The domain dependent behaviour and access control parameters in agent ontologies could be combined within a common XACML policy document that is used through different MAS applications.  ...  Pellet is an open-source DL reasoner that is based on the tableaux algorithms developed for expressive Description Logics.  ... 
doi:10.1109/compsac.2009.114 dblp:conf/compsac/TekbacakTD09 fatcat:bdimyqdqf5g3tnejid4luvqhkq

Trends and Issues in Description Logics Frameworks for Image Interpretation [chapter]

Stamatia Dasiopoulou, Ioannis Kompatsiaris
2010 Lecture Notes in Computer Science  
Description Logics have recently attracted significant interest as the underlying formalism for conceptual modelling in the context of high-level image interpretation.  ...  Differences in the formulation of image interpretation semantics have resulted in varying configurations with respect to the adopted modelling paradigm, the utilised form of reasoning, and the way imprecision  ...  Interpretation as Logical Inference Standard inference in Description Logics amounts to deductive reasoning.  ... 
doi:10.1007/978-3-642-12842-4_10 fatcat:4lxjtgj22javhbknwky4gepnii

A Causal Theory of Abduction

A. Bochman
2007 Journal of Logic and Computation  
The paper provides a uniform representation of abductive reasoning in the logical framework of causal inference relations.  ...  The representation covers in a single framework not only traditional, 'classical' forms of abduction, but also abductive reasoning in diagnosis, theories of actions and change, and abductive logic programming  ...  Conclusions It has been shown that the framework of production and causal inference provides a uniform logical basis for abductive reasoning.  ... 
doi:10.1093/logcom/exm045 fatcat:4ow5dp6kazb2pnlnxufemelr3q

Modeling Design Process

Hideaki Takeda, Paul Veerkamp, Tetsuo Tomiyama, Hiroyuki Yoshikawa
1990 The AI Magazine  
Acknowledgments We would like to thank Paul ten Hagen for various discussions on design process models, Kazuto Hayashi for useful discussions on logical formalization, and Juro Baba for contributions to  ...  Thus, we succeeded in integrating the descriptive and cog-nitive models using a logical framework on which the computable model is based.  ...  Logic is a useful framework for this purpose because it is developed from human thought and is closely related to inference.  ... 
doi:10.1609/aimag.v11i4.855 dblp:journals/aim/TakedaVTY90 fatcat:5vkueekixbbuxikgxjnfzlrs4i

LogiKEy Workbench: Deontic Logics, Logic Combinations and Expressive Ethical and Legal Reasoning (Isabelle/HOL Dataset)

Christoph Benzmüller, Ali Farjami, David Fuenmayor, Paul Meder, Xavier Parent, Alexander Steen, Leendert van der Torre, Valeria Zahoransky
2020 Data in Brief  
The LogiKEy methodology and framework is discussed in more detail in the companion research article titled "Designing Normative Theories for Ethical and Legal Reasoning: LogiKEy Framework, Methodology,  ...  Our workbench consolidates related research contributions of the authors and it may serve as a starting point for further studies and experiments in flexible and expressive ethical and legal reasoning.  ...  Moreover, we thank the anonymous reviewers for their valuable comments.  ... 
doi:10.1016/j.dib.2020.106409 pmid:33134442 pmcid:PMC7586073 fatcat:rzmeu2tosvd2dn3gdz26fgtwfm

On Approximation of Concept Similarity Measure in Description Logic with Pre-trained Word Embedding

Teeradaj Racharak
2021 IEEE Access  
for the description logic ALC was developed by D'Amato et al  ...  logic FL 0 based on the language-based characterization of subsumption; Lehman and Turhan [6] developed a general framework to instantiate a measure for the same logic ELH; and a dissimilarity measure  ...  This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License. For more information, see https://creativecommons.org/licenses/by-nc-nd/4.0/  ... 
doi:10.1109/access.2021.3073730 fatcat:gfirzrvijzcwzb5obkrlredtki

Semantic Knowledge Acquisition of Information for Syntactic web

G Nagarajan
2012 International journal of Web & Semantic Technology  
In this paper we have explained the concept of converting an HTML page to RDFS/OWL page.  ...  In earlier days one has to find a resource person or resource library to acquire knowledge. But today just by typing a keyword on a search engine all kind of resources are available to us.  ...  The concept in Description logic is knows as classes in ontology, likewise Role as property and individual as object. With this we can introduce Rule-based ontology reasoning A-box and T-box.  ... 
doi:10.5121/ijwest.2012.3409 fatcat:oib344euwjgodaq3hdyaxza2we

Logic programming with simulation-based temporal projection for everyday robot object manipulation

L. Kunze, M. E. Dolha, M. Beetz
2011 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems  
In this work, we integrate a simulation-based approach for making temporal projections for robot manipulation actions into the logic programming language PROLOG.  ...  For determining the right parameters for actions like pouring a pancake mix onto a pancake maker, robots need capabilities to predict the physical consequences of their own manipulation actions.  ...  This work is supported in part within the DFG excellence initiative research cluster Cognition for Technical Systems (http://www.cotesys.org).  ... 
doi:10.1109/iros.2011.6048350 fatcat:xkf32erixna3tdl63uhk5rgpva

Logic programming with simulation-based temporal projection for everyday robot object manipulation

L. Kunze, M. E. Dolha, M. Beetz
2011 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems  
In this work, we integrate a simulation-based approach for making temporal projections for robot manipulation actions into the logic programming language PROLOG.  ...  For determining the right parameters for actions like pouring a pancake mix onto a pancake maker, robots need capabilities to predict the physical consequences of their own manipulation actions.  ...  This work is supported in part within the DFG excellence initiative research cluster Cognition for Technical Systems (http://www.cotesys.org).  ... 
doi:10.1109/iros.2011.6094743 dblp:conf/iros/KunzeDB11 fatcat:dvfqhzf4dbeprpv2wlp76z3hvu

Context for Multimedia Services Adaptation

Abdelhak Attou, Ning Li, Klaus Moessner
2008 Proceedings of the 4th International Mobile Multimedia Communications Conference  
The use of important standards and technologies such as MPEG-21 DIA, XML, Description Logics and OWL is explained.  ...  Due to the heterogeneity and complexity of user environments, multimedia services and multimedia content in the communication domain, adaptation is of a paramount importance to interoperability.  ...  ACKNOWLEDGMENTS The work reported in this paper has formed part of the Ubiquitous Services Core Research  ... 
doi:10.4108/icst.mobimedia2008.3911 dblp:conf/mobimedia/AttouLM08 fatcat:aol4yy3tnnh4rpgcvffsgpkmji

Abductive Reasoning in Mathematics Education: Approaches to and Theorisations of a Complex Idea

David A. Reid
2018 Eurasia Journal of Mathematics, Science and Technology Education  
A framework in which the different approaches taken in the research literature can be placed and compared is proposed.  ...  There is a growing literature on the importance of abductive reasoning in mathematics education. However, there are some important variations in what exactly is referred to as 'abductive reasoning'.  ...  Beck and Jungwirth (1999) , for example, cite Voigt as well as Peirce's (c. 1903 ) description of abduction as explaining a "surprising fact".  ... 
doi:10.29333/ejmste/92552 fatcat:pag25bp6wbephescdeyjuarnji

Page 3315 of Mathematical Reviews Vol. , Issue 2004d [page]

2004 Mathematical Reviews  
The authors provide a general result explaining why the fusion of de- cidable logics is often decidable.  ...  This paper presents an alternative framework which is different from those found in the literature in two ways: Firstly, a syntactical approach for the representation of the propositional attitudes is  ... 
« Previous Showing results 1 — 15 out of 381,613 results