A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
A Contextualized Knowledge Framework for Semantic Web
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2009
2009 33rd Annual IEEE International Computer Software and Applications Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
2007
Journal of Logic and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
1990
The AI Magazine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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)
2020
Data in Brief
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2021
IEEE Access
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2012
International journal of Web & Semantic Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2011
2011 IEEE/RSJ International Conference on Intelligent Robots and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
2011
2011 IEEE/RSJ International Conference on Intelligent Robots and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
2008
Proceedings of the 4th International Mobile Multimedia Communications Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2018
Eurasia Journal of Mathematics, Science and Technology Education
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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