21,859 Hits in 6.9 sec

Integration with Ontologies

Andreas Maier, Jessica Aguado, Amaia Bernaras, Iñaki Laresgoiti, Cosios Pedinaci, Nieves Peña, Tim Smithers
2003 Wissensmanagement  
Introducing a Toolbox for the Ontology-based Integration As we found in (chapter 2.) and (chapter 3.), the following components are needed within an ontology modelling environment [AS2002], meeting the  ...  Requirement 4: Provide a Data Storage For maintenance reasons, the data itself should be kept only once, preferably in the origin application.  ...  There the modelled relations (is about, is sales manager of, is handled by) will appear.  ... 
dblp:conf/wm/MaierABLPPS03 fatcat:q3x6oullgrgqxe3vd7xat75ehm

Page 451 of Psychological Abstracts Vol. 87, Issue 2 [page]

2000 Psychological Abstracts  
reason- ingJanice Glasgow and Andrew MaltonMental models in deductive, modal, and probabilistic reasoningPatrizia Tabossi, Victoria A.  ...  Evans and Alison CaponStrategies and models in statistical reasoning Vittorio Girotto and Mich- el GonzalezFocusing strategies in reasoning about gamesMaria G. Devetag.  ... 

ConceptBase ? A deductive object base for meta data management

Matthias Jarke, Rainer Gallersd�rfer, Manfred A. Jeusfeld, Martin Staudt, Stefan Eherer
1995 Journal of Intelligent Information Systems  
General rights Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications  ...  purpose of private study or research -You may not further distribute the material or use it for any profit-making activity or commercial gain -You may freely distribute the URL identifying the publication in  ...  CoAUTHOR is an extension of ConceptBase in which nodes can be multimedia objects, thus generating a knowledge-based hypertext environment EJ91 .  ... 
doi:10.1007/bf00961873 fatcat:gnfo4kqimncyjovojhlyyzv3dm

Page 421 of Journal of Management Education Vol. 21, Issue 3 [page]

1997 Journal of Management Education  
Through inductive reasoning, deductive reasoning, or both, learn- ers discover the conceptual relationships intended by the instructor (Burns, Gentry, & Wolfe, 1990).  ...  When a team of learners makes these decisions, the team members experience the dynamic interplay of how groups function in the workplace environment.  ... 

Repository support for multi-perspective requirements engineering

Hans W. Nissen, Matthias Jarke
1999 Information Systems  
Our solution is based on a novel modeling language design, M-Telos, that integrates the adaptability and analysis advantages of the logic-based meta modeling language Telos with a module concept covering  ...  It comprises four components: 1 A modular conceptual modeling formalism organizes individual perspectives and their interrelationships. 2 Perspective s c hemata are linked to a conceptual meta meta model  ...  We would like to thank Manfred A. Jeusfeld and Martin Staudt for their contributions to this work.  ... 
doi:10.1016/s0306-4379(99)00009-5 fatcat:x77q7t2x5vht5ljdpbzxvm2uqi

Knowledge Integration

Andreas Maier, Nieves Peña, Iñaki Laresgoiti, Amaia Bernaras
2003 Workshop Ontologie-basiertes Wissensmanagement  
Every ER-model can be transformed in an ontology and, with some expense and limitations, vice versa.  ...  -Like the EntityRelationship-Model (ER) [BCB91] and unlike the others mentioned above, ontologies have a data model distinguishing schema information from facts.  ...  picture 11: a visual rule editor There the modelled relations (is about, is sales manager of, is handled by) will appear.  ... 
dblp:conf/wow/MaierPLB03 fatcat:5ha4jt37fzgrjo3ryvt4wuquni

An enhanced Bayesian model to detect students' learning styles in Web-based courses

P. García, S. Schiaffino, A. Amandi
2008 Journal of Computer Assisted Learning  
We propose the use of Bayesian Networks to detect the learning style of a student in a Web-based education system.  ...  Students are characterized by different learning styles, focusing on different types of information and processing this information in different ways.  ...  The proposed approach is currently being used by agents assisting students in a Web-based education system named SAVER.  ... 
doi:10.1111/j.1365-2729.2007.00262.x fatcat:ptel6drab5b3rnlv2orcz23qhu

Income Tax Deduction of Commuting Expenses and Tax Funding in an Urban CGE Study: The Case of German Cities

Georg Hirte, Stefan Tscharaktschiew
2011 Social Science Research Network  
For reasons of tractability the few models applied in the tax deduction related literature are based on restrictive assumptions particularly concerning the design of the income taxation scheme and the  ...  Furthermore, the di¤erent policy packages cause a very di¤erentiated pattern regarding welfare distribution, environmental (CO 2 emissions) and congestion e¤ects.  ...  This so called net-principle is the main reasoning in favor of tax deductions in Germany.  ... 
doi:10.2139/ssrn.1823248 fatcat:6gdwytjahzhjbpulda5qnmq5ju

Extending Term Subsumption systems for Uncertainty Management [article]

John Yen, Piero P. Bonissone
2013 arXiv   pre-print
First, we outline a general architecture that specifies the interactions between the deductive reasoner of a term subsumption system and an approximate reasoner.  ...  , and proximate reasoning models, which deal with uncertain knowledge and data in expert systems.  ...  PRIMO has a reasoning system (a language for representing uncertain and default knowl edge, along with algorithms for reasoning in this lan guage) and a computing environment.  ... 
arXiv:1304.1137v1 fatcat:23wpqvlpdrftzarwy3giob7ndq

?Reasonable? support to knowledge sharing through schema analysis and articulation

Ernesto Compatangelo, Helmut Meisel
2003 Neural computing & applications (Print)  
We introduce a formal, class-centred, entity-relationship knowledge model based on a Description Logic (DL).  ...  This knowledge sharing approach has been implemented as a support functionality in our intelligent knowledge management environment EER-CONCEPTOOL.  ...  Conceptual modelling in a "reasonable" framework There are several reasons why an ER conceptual model is a suitable starting point for the development of an approach to knowledge modelling, analysis and  ... 
doi:10.1007/s00521-003-0386-8 fatcat:7pmcxn7rurdarohfyo66p7dlaa

Using ILP-systems for verification and validation of multi-agent systems [chapter]

Nico Jacobs, Kurt Driessens, Luc De Raedt
1998 Lecture Notes in Computer Science  
We describe a less common application of ILP namely veri cation and validation of knowledge based systems and multi-agent systems.  ...  The approach outlined was tested in the domain of multi-agent systems, more in particular the RoboCup domain.  ...  rather than deductive reasoning.  ... 
doi:10.1007/bfb0027318 fatcat:o5z27hwdljguvngc3574awiqxu

An Introduction to Historical Explanation [article]

Charles Pence
2020 Figshare  
An introduction to the literature on historical explanation, for a seminar that I organized over the 18-19 academic year at UCLouvain.  ...  The Role of Analogy A Brief Digression Recall the classic, deductive-nomological model of scienti c explanation: 1.  ...  Optimism Currie: is is true in some, particular circumstances, but not enough to ground a global skepticism about method in historical science What are they?  ... 
doi:10.6084/m9.figshare.11605245 fatcat:gh7blgausnh7fijzrjdmsbiiba

An executable meta model for re-engineering of database schemas [chapter]

Manfred A. Jeusfeld, Uwe A. Johnen
1994 Lecture Notes in Computer Science  
The rst part maps the input schema into a so-called meta model. The second part rearranges the intermediate representation, and the last part produces the schema in the target data model.  ...  From this, a C++-based tool has been derived that will be part of a commercial CASE environment.  ...  We w ould like to thank Matthias Hallmann and Wolf Fischer from CAP debis SSP for helping us to evaluate our prototype within a commercial system.  ... 
doi:10.1007/3-540-58786-1_100 fatcat:6fzgaefxxjgnxpvtixodqo4cuy

Automated deduction and formal methods [chapter]

John Rushby
1996 Lecture Notes in Computer Science  
The automated deduction and model checking communities have developed techniques that are impressively e ective when applied to suitable problems.  ...  Successful application of automated deduction to formal methods will enrich both elds, providing new opportunities for research and use of automated deduction, and making formal methods a truly useful  ...  More e ective methods for quanti er reasoning in these contexts and for restricted instances of the higher-order case would be a good topic for research.  ... 
doi:10.1007/3-540-61474-5_67 fatcat:tipr6s7k35c5rotftbalug5x4m

Efficient Reasoning Using the Local Closed-World Assumption [chapter]

Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
2000 Lecture Notes in Computer Science  
complete information about planning or reasoning states.  ...  The approach is based on the use of circumscription and quanti er elimination techniques and inference is viewed as querying a deductive database.  ...  We h a ve not yet dealt with the LCW update problem associated with the query mechanism's integration with other planning and state sequential reasoning techniques considered in the other approaches, but  ... 
doi:10.1007/3-540-45331-8_5 fatcat:dgtabguqobcftlaftsn6woprji
« Previous Showing results 1 — 15 out of 21,859 results