Bibliographies thématiques / Reasoning services

Littérature scientifique sur le sujet « Reasoning services »

Auteur : Grafiati

Publié le 4 mai 2024

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Sommaire

Articles de revues
Thèses
Livres
Chapitres de livres
Actes de conférences
Rapports d'organisations

Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Reasoning services ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Articles de revues sur le sujet "Reasoning services"

Criado, N., J. M. Such et V. Botti. « Norm reasoning services ». Information Systems Frontiers 16, n^o 2 (6 septembre 2013) : 201–23. http://dx.doi.org/10.1007/s10796-013-9444-7.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Srivastava, Rajendra P., et Theodore J. Mock. « Evidential Reasoning for WebTrust Assurance Services ». Journal of Management Information Systems 16, n^o 3 (décembre 1999) : 11–32. http://dx.doi.org/10.1080/07421222.1999.11518254.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Steller, Luke Albert, Shonali Krishnaswamy et Mohamed Methat Gaber. « Enabling Scalable Semantic Reasoning for Mobile Services ». International Journal on Semantic Web and Information Systems 5, n^o 2 (avril 2009) : 91–116. http://dx.doi.org/10.4018/jswis.2009040104.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Chua, Hui Na, et S. M. F. D. Syed Mustapha. « Converged services composition with case-based reasoning ». International Journal of Information and Communication Technology 13, n^o 3 (2018) : 257. http://dx.doi.org/10.1504/ijict.2018.094316.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Chun, Sungkyu, Giho Jang, Hyosook Jung, Seung-Seok Kang et Seongbin Park. « Adaptive Hypermedia Services Using Semantic Web Reasoning ». Advanced Science Letters 22, n^o 11 (1 novembre 2016) : 3279–83. http://dx.doi.org/10.1166/asl.2016.7881.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Bădică, Costin, Nick Bassiliades, Sorin Ilie et Kalliopi Kravari. « Agent reasoning on the web using web services ? » Computer Science and Information Systems 11, n^o 2 (2014) : 697–721. http://dx.doi.org/10.2298/csis140301038b.

Texte intégral

Résumé :

In this paper we present an approach for reusing agent-based reasoning capabilities by making them available for invocation as Web services. In this way, we provide the missing link between the highly interoperable Web services and the autonomicity and intelligence of agent-based systems, so that the latter can be seamlessly integrated into the knowledge-rich SemanticWeb environment without being compromised by isolated communication platforms and languages or restricted to only one or just few reasoning formalisms. We have achieved this by extending the EMERALD framework for agent based reasoning with a Web service interface. Our approach is exemplified by the development of an online system for intelligent brokering of apartment rentals. The broker intelligence is captured as a defeasible knowledge base, while its problem solving process involves the invocation of third party defeasible reasoning Web services included into the EMERALD framework.

Styles APA, Harvard, Vancouver, ISO, etc.

Sujana, Edy, et Nyoman Ayu Wulan Trisna Dewi. « The Effect of Moral Reasoning on Intention to Fraud in the Procurement of Goods and Services under Obedience Pressure : An Experimental Study ». Jurnal Ilmiah Akuntansi 6, n^o 2 (12 janvier 2022) : 413. http://dx.doi.org/10.23887/jia.v6i2.38944.

Texte intégral

Résumé :

This study examines the influence of obedience pressure and individual moral reasoning on the attention to commit fraud in the context of the procurement of goods and services. This study uses a 2x2 factorial experimental design. The participants in this study were undergraduate accounting students who have passed courses in Professional Ethics, Public Sector Accounting, and Forensic Accounting who acted as implementers of the procurement of goods and services. Hypothesis testing in this study used ANOVA. The results of this study found the effect of obedience pressure and individual moral reasoning in committing fraud in the procurement of goods and services. Under conditions of obedience pressure, individuals with low moral reasoning will tend to commit fraud compared to individuals with high moral reasoning. Thus, individuals who have high moral reasoning tend to behave ethically, even though they are faced with pressure from superiors.

Styles APA, Harvard, Vancouver, ISO, etc.

Shuang Qiu, Yadong Wang, Yongzhuang Liu et Liang Cheng. « Bioinformatics Web Services Composition with Case based Reasoning ». Journal of Convergence Information Technology 6, n^o 2 (28 février 2011) : 240–53. http://dx.doi.org/10.4156/jcit.vol6.issue2.25.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Ali, Rahman, Muhammad Afzal, Maqbool Hussain, Maqbool Ali, Muhammad Hameed Siddiqi, Sungyoung Lee et Byeong Ho Kang. « Multimodal hybrid reasoning methodology for personalized wellbeing services ». Computers in Biology and Medicine 69 (février 2016) : 10–28. http://dx.doi.org/10.1016/j.compbiomed.2015.11.013.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Thèses sur le sujet "Reasoning services"

Tariq, Muhammad Mukarram Bin. « Modeling performance of internet-based services using causal reasoning ». Diss., Georgia Institute of Technology, 2010. http://hdl.handle.net/1853/33927.

Texte intégral

Résumé :

The performance of Internet-based services depends on many server-side, client-side, and network related factors. Often, the interaction among the factors or their effect on service performance is not known or well-understood. The complexity of these services makes it difficult to develop analytical models. Lack of models impedes network management tasks, such as predicting performance while planning for changes to service infrastructure, or diagnosing causes of poor performance. We posit that we can use statistical causal methods to model performance for Internet-based services and facilitate performance related network management tasks. Internet-based services are well-suited for statistical learning because the inherent variability in many factors that affect performance allows us to collect comprehensive datasets that cover service performance under a wide variety of conditions. These conditional distributions represent the functions that govern service performance and dependencies that are inherent in the service infrastructure. These functions and dependencies are accurate and can be used in lieu of analytical models to reason about system performance, such as predicting performance of a service when changing some factors, finding causes of poor performance, or isolating contribution of individual factors in observed performance. We present three systems, What-if Scenario Evaluator (WISE), How to Improve Performance (HIP), and Network Access Neutrality Observatory (NANO), that use statistical causal methods to facilitate network management tasks. WISE predicts performance for what-if configurations and deployment questions for content distribution networks. For this, WISE learns the causal dependency structure among the latency-causing factors, and when one or more factors is changed, WISE estimates effect on other factors using the dependency structure. HIP extends WISE and uses the causal dependency structure to invert the performance function, find causes of poor performance, and help answers questions about how to improve performance or achieve performance goals. NANO uses causal inference to quantify the impact of discrimination policies of ISPs on service performance. NANO is the only tool to date for detecting destination-based discrimination techniques that ISPs may use. We have evaluated these tools by application to large-scale Internet-based services and by experiments on wide-area Internet. WISE is actively used at Google for predicting network-level and browser-level response time for Web search for new datacenter deployments. We have used HIP to find causes of high-latency Web search transactions in Google, and identified many cases where high-latency transactions can be significantly mitigated with simple infrastructure changes. We have evaluated NANO using experiments on wide-area Internet and also made the tool publicly available to recruit users and deploy NANO at a global scale.

Styles APA, Harvard, Vancouver, ISO, etc.

DRAGONE, Luigi. « Modeling and reasoning about semantic e-services in cooperative information systems ». Doctoral thesis, La Sapienza, 2008. http://hdl.handle.net/11573/917061.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Sirin, Evren. « Combining description logic reasoning with AI planning for composition of web services ». College Park, Md. : University of Maryland, 2006. http://hdl.handle.net/1903/4070.

Texte intégral

Résumé :

Thesis (Ph. D.) -- University of Maryland, College Park, 2006.
Thesis research directed by: Computer Science. Title from t.p. of PDF. Includes bibliographical references. Published by UMI Dissertation Services, Ann Arbor, Mich. Also available in paper.

Styles APA, Harvard, Vancouver, ISO, etc.

Benoit, Esther. « Promoting moral reasoning and ego development through the use of deliberate psychological education in family counseling ». W&M ScholarWorks, 2009. https://scholarworks.wm.edu/etd/1539618668.

Texte intégral

Résumé :

Families come to therapy wanting to know how to raise good citizens and address issues of justice and fairness in the context of their interpersonal relationships. Research literature suggests that the family may be the best context for moral learning. The implications of deliberately promoted developmental growth within the context of a family therapy intervention are explored. Specifically, the relationships between moral reasoning, ego development and relational functioning in family therapy are examined within a systems-based therapeutic approach.;Outcome research in family therapy suggests that there is at least a moderate positive effect of family therapy. This study examines the effects of a deliberate psychological education (DPE) intervention in the context of systemic family therapy. This study proposed that those at higher levels of moral reasoning and ego development would exhibit a greater ability to adapt to normative family life cycle transitions and exhibit greater relational functioning as more cognitively complex parents may be better equipped to facilitate family organization, communication and emotional responsiveness.;Results of this study indicated developmental shifts in both the treatment and comparison groups over time, with significant positive gains indicated for the treatment group in the domains of ego development and moral reasoning. Family functioning improved slightly for the treatment group over time, but effects were not significant. Implications of this study and suggestions for future research are suggested.

Styles APA, Harvard, Vancouver, ISO, etc.

Riechel, Morgan E. Kiper. « An investigation of relationships among school counselors' ethical professional identity development, moral reasoning, and attitudes toward confidentiality with minors ». W&M ScholarWorks, 2013. https://scholarworks.wm.edu/etd/1550154153.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Tiberghien, Thibaut. « Strategies for context reasoning in assistive livings for the elderly ». Phd thesis, Institut National des Télécommunications, 2013. http://tel.archives-ouvertes.fr/tel-01048698.

Texte intégral

Résumé :

Leveraging our experience with the traditional approach to ambient assisted living (AAL) which relies on a large spread of heterogeneous technologies in deployments, this thesis studies the possibility of a more "stripped down" and complementary approach, where only a reduced hardware subset is deployed, probing a transfer of complexity towards the software side, and enhancing the large scale deployability of the solution. Focused on the reasoning aspects in AAL systems, this work has allowed the finding of a suitable semantic inference engine for the peculiar use in these systems, responding to a need in this scientific community. Considering the coarse granularity of situational data available, dedicated rule-sets with adapted inference strategies are proposed, implemented, and validated using this engine. A novel semantic reasoning mechanism is proposed based on a cognitively inspired reasoning architecture. Finally, the whole reasoning system is integrated in a fully featured context-aware service framework, powering its context awareness by performing live event processing through complex ontological manipulation. the overall system is validated through in-situ deployments in a nursing home as well as private homes over a few months period, which itself is noticeable in a mainly laboratory-bound research domain

Styles APA, Harvard, Vancouver, ISO, etc.

Hayes, Tavis. « Development of a Framework to Describe the Association Between Hypothetical and Real-World Decisions : A Systematic Concept Review and Cognitive Interviews with Decision Aid Developers ». Thesis, Université d'Ottawa / University of Ottawa, 2016. http://hdl.handle.net/10393/35626.

Texte intégral

Résumé :

Despite recommendations, health services interventions often lack mechanistic evidence. One way of acquiring such evidence is through the use of hypothetical settings. However, there are knowledge gaps about the factors that affect whether hypothetical decisions will correlate to real-world ones. This thesis involves a systematic concept review to identify the factors important to the hypothetical-real-world decision relationship and a case study of the relevance of these factors to the decision aid development context. The 42 identified factors were grouped into 5 categories: Personal Characteristics, Presentation Characteristics, Cognitive Factors, Motivation, and Participant Characteristics. Through cognitive interviews with decision aid developers we found that the interviewees had generally not considered many of the factors thought to affect the external validity of hypothetical data. This thesis contributes a framework that highlights factors for investigators to consider when designing studies in hypothetical settings and that can serve as a foundation for future research.

Styles APA, Harvard, Vancouver, ISO, etc.

Glossenger, John Kenneth. « The role of planning in two artificial intelligence architectures ». Instructions for remote access. Click here to access this electronic resource. Access available to Kutztown University faculty, staff, and students only, 1991. http://www.kutztown.edu/library/services/remote_access.asp.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Robertson, Derek Lane. « Infusing the school counseling internship with a global perspective to promote ego development, moral reasoning, and ethnocultural empathy : A deliberate psychological education ». W&M ScholarWorks, 2013. https://scholarworks.wm.edu/etd/1550154155.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Dakin, Emily K. « OLDER WOMEN'S PERCEPTIONS OF ETHICAL DILEMMAS IN ADULT PROTECTIVE SERVICES : AN EXPLORATORY STUDY ». online version, 2004. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=case1081529078.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Livres sur le sujet "Reasoning services"

Richard, Belle, dir. Advanced EMT : A clinical reasoning approach. Boston : Pearson, 2011.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Lindley, D. V. (Dennis Victor), 1923-2013 et Institute for the Study of Civil Society, dir. Failing to figure : Whitehall's costly neglect of statistical reasoning. London : Civitas, 2009.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

The politics of large numbers : A history of statistical reasoning. Cambridge, Mass : Harvard University Press, 1998.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

The politics of large numbers : A history of statistical reasoning. Cambridge, Mass : Harvard University Press, 1998.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Ford, Gary George. Ethical reasoning in the mental health professions. Boca Raton, FL : CRC Press, 2001.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Helene, Lohman, dir. Introduction to splinting : A clinical reasoning and problem-solving approach. 3^e éd. St. Louis : Mosby, 2008.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Joy, Higgs, et Jones Mark A, dir. Clinical reasoning in the health professions. 2^e éd. Oxford : Butterworth-Heinermann, 2000.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Sugumaran, Vijayan. Intelligent, adaptive and reasoning technologies : New developments and applications. Hershey, PA : Information Science Reference, 2011.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Duran, Terry L. Pass key to the ASVAB : With intensive review of arithmetic reasoning, math knowledge, word knowledge, paragraph comprehension. 7^e éd. Hauppauge, N.Y : Barrons Educational Series, Inc., 2012.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Barron's Educational Series, inc. Editorial Dept., dir. Pass key to the ASVAB, Armed Services Vocational Aptitude Battery : With intensive review of arithmetic reasoning, math knowledge, word knowledge, paragraph comprehension. 5^e éd. Hauppauge, NY : Barron's Educational Series, 2006.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Chapitres de livres sur le sujet "Reasoning services"

Thomas, Edward, Yuan Ren, Jeff Z. Pan, Yuting Zhao et Nophadol Jekjantuk. « Scalable Ontology Reasoning Services ». Dans Ontology-Driven Software Development, 99–120. Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-31226-7_5.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Cardoso, Jorge, John A. Miller et Savitha Emani. « Web Services Discovery Utilizing Semantically Annotated WSDL ». Dans Reasoning Web, 240–68. Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-85658-0_7.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Bock, Jürgen. « Reasoning Brokerage : New Reasoning Strategies ». Dans Towards the Internet of Services : The THESEUS Research Program, 121–30. Cham : Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-06755-1_10.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Zimmer, Jürgen, et Serge Autexier. « The MathServe System for Semantic Web Reasoning Services ». Dans Automated Reasoning, 140–44. Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11814771_12.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Wagner, Gerd. « Advanced Knowledge and Reasoning Services ». Dans Foundations of Knowledge Systems : with Applications to Databases and Agents, 255–62. Boston, MA : Springer US, 1998. http://dx.doi.org/10.1007/978-1-4615-5723-4_16.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Cantone, Domenico, Marianna Nicolosi-Asmundo et Daniele Francesco Santamaria. « A Set-Theoretic Approach to ABox Reasoning Services ». Dans Rules and Reasoning, 87–102. Cham : Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-61252-2_7.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Bissell, John. « Dimensional Analysis and Dimensional Reasoning ». Dans Automation, Collaboration, & ; E-Services, 29–45. Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-25209-9_2.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Helldin, Tove, Maria Riveiro, Sepideh Pashami, Göran Falkman, Stefan Byttner et Slawomir Nowaczyk. « Supporting Analytical Reasoning ». Dans Human Interface and the Management of Information : Applications and Services, 20–31. Cham : Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-40397-7_3.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Heymans, Stijn, et Ioan Toma. « Ranking Services Using Fuzzy HEX Programs ». Dans Web Reasoning and Rule Systems, 181–96. Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-88737-9_14.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Karig, Martin R. « Industry needs for integrated information services ». Dans Logic Programming And Nonmonotonic Reasoning, 218–19. Berlin, Heidelberg : Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-63255-7_15.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Actes de conférences sur le sujet "Reasoning services"

Lacroix, Z., C. R. L. Legendre et S. Tuzmen. « Reasoning on Scientific Workflows ». Dans 2009 IEEE Congress on Services (SERVICES). IEEE, 2009. http://dx.doi.org/10.1109/services-i.2009.73.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Hoffmann, Jorg, James Scicluna, Tomasz Kaczmarek et Ingo Weber. « Polynomial-Time Reasoning for Semantic Web Service Composition ». Dans 2007 IEEE Congress on Services (Services 2007). IEEE, 2007. http://dx.doi.org/10.1109/services.2007.51.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Yanping Cui, Zhenmin Tang et Haibing Dai. « Case-based reasoning and rule-based reasoning for railway incidents prevention ». Dans Proceedings of ICSSSM '05. 2005 International Conference on Services Systems and Services Management, 2005. IEEE, 2005. http://dx.doi.org/10.1109/icsssm.2005.1500156.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Wu, Xiaobing, David Ratcliffe et Mark A. Cameron. « XML Schema Representation and Reasoning : A Description Logic Method ». Dans 2008 IEEE Congress on Services Part 1 (SERVICES-1). IEEE, 2008. http://dx.doi.org/10.1109/services-1.2008.57.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Sekkas, Odysseas, Christos B. Anagnostopoulos et Stathes Hadjiefthymiades. « Context Fusion through Imprecise Reasoning ». Dans IEEE International Conference on Pervasive Services. IEEE, 2007. http://dx.doi.org/10.1109/perser.2007.4283896.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Reformat, M., DengMing Li et Cuong Ly. « Approximate reasoning and Semantic Web Services ». Dans IEEE Annual Meeting of the Fuzzy Information, 2004. Processing NAFIPS '04. IEEE, 2004. http://dx.doi.org/10.1109/nafips.2004.1336318.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Anagnostopoulos, Christos B., Panagiotis Pasias et Stathes Hadjiefthymiades. « A Framework for Imprecise Context Reasoning ». Dans IEEE International Conference on Pervasive Services. IEEE, 2007. http://dx.doi.org/10.1109/perser.2007.4283913.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Kim, Soo Dong, et Soo Ho Chang. « SOAR : An Extended Model-Based Reasoning for Diagnosing Faults in Service-Oriented Architecture ». Dans 2009 IEEE Congress on Services (SERVICES). IEEE, 2009. http://dx.doi.org/10.1109/services-i.2009.57.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Wang, Jun, et Huiqin Ren. « Case-based Reasoning Enabling Database Mining for Cryo-Preserving Algae Applications ». Dans information Services (ICICIS). IEEE, 2011. http://dx.doi.org/10.1109/icicis.2011.11.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Glasner, Dana, et Vugranam C. Sreedhar. « Configuration Reasoning and Ontology For Web ». Dans IEEE International Conference on Services Computing (SCC 2007). IEEE, 2007. http://dx.doi.org/10.1109/scc.2007.44.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Rapports d'organisations sur le sujet "Reasoning services"

Baader, Franz, Carsten Lutz, Maja Miličić, Ulrike Sattler et Frank Wolter. Integrating Description Logics and Action Formalisms for Reasoning about Web Services. Aachen University of Technology, 2004. http://dx.doi.org/10.25368/2022.145.

Texte intégral

Résumé :

Motivated by the need for semantically well-founded and algorithmically managable formalism that is based on description logics (DLs), but is also firmly grounded on research in the reasoning about action community. Our main contribution is an analysis of how the choice of the DL influences the complexity of standard reasoning tasks such as projection and executability, which are important for Web service discovery and composition.

Styles APA, Harvard, Vancouver, ISO, etc.

Baader, Franz, Carsten Lutz, Maja Miličić et Frank Wolter. Integrating Description Logics and Action Formalisms for Reasoning about Web Services. Technische Universität Dresden, 2005. http://dx.doi.org/10.25368/2010.145.

Texte intégral

Résumé :

Styles APA, Harvard, Vancouver, ISO, etc.

McGuinness, Deborah. Development of Semantic Web - Markup Languages, Web Services, Rules, Explanation, Querying, Proof and Reasoning. Fort Belvoir, VA : Defense Technical Information Center, juillet 2008. http://dx.doi.org/10.21236/ada484611.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Ecke, Andreas, et Anni-Yasmin Turhan. Similarity Measures for Computing Relaxed Instances w.r.t. General EL-TBoxes. Technische Universität Dresden, 2013. http://dx.doi.org/10.25368/2022.202.

Texte intégral

Résumé :

The notion of concept similarity is central to several ontology tasks and can be employed to realize relaxed versions of classical reasoning services. In this paper we investigate the reasoning service of answering instance queries in a relaxed fashion, where the query concept is relaxed by means of a concept similarity measure (CSM). To this end we investigate CSMs that assess the similarity of EL-concepts defined w.r.t. a general EL-TBox. We derive such a family of CSMs from a family of similarity measures for finite interpretations and show in both cases that the resulting measures enjoy a collection of formal properties. These properties allow us to devise an algorithm for computing relaxed instances w.r.t. general EL-TBoxes, where users can specify the „appropriate“ notion of similarity by instanciating our CSM appropriately.

Styles APA, Harvard, Vancouver, ISO, etc.

Brandt, Sebastian, Anni-Yasmin Turhan et Ralf Küsters. Foundations of non-standard inferences for DLs with transitive roles. Technische Universität Dresden, 2003. http://dx.doi.org/10.25368/2022.127.

Texte intégral

Résumé :

Description Logics (DLs) are a family of knowledge representation formalisms used for terminological reasoning. They have a wide range of applications such as medical knowledge-bases, or the semantic web. Research on DLs has been focused on the development of sound and complete inference algorithms to decide satisfiability and subsumption for increasingly expressive DLs. Non-standard inferences are a group of relatively new inference services which provide reasoning support for the building, maintaining, and deployment of DL knowledge-bases. So far, non-standard inferences are not available for very expressive DLs. In this paper we present first results on non-standard inferences for DLs with transitive roles. As a basis, we give a structural characterization of subsumption for DLs where existential and value restrictions can be imposed on transitive roles. We propose sound and complete algorithms to compute the least common subsumer (lcs).

Styles APA, Harvard, Vancouver, ISO, etc.

Rao, Jinghai, et Norman Sadeh. Interleaving Semantic Web Reasoning and Service Discovery to Enforce Context-Sensitive Security and Privacy Policies. Fort Belvoir, VA : Defense Technical Information Center, juillet 2005. http://dx.doi.org/10.21236/ada456148.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Bringsjord, Selmer, Konstantine Arkoudas et Yingrui Yang. New Architectures, Algorithms And Designs That Lead To Implemented Machine Reasoning Over Knowledge In Epistemic And Deontic Formats, In The Service Of Advanced Wargaming. Fort Belvoir, VA : Defense Technical Information Center, août 2006. http://dx.doi.org/10.21236/ada456936.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Peñaloza, Rafael, et Anni-Yasmin Turhan. Completion-based computation of most specific concepts with limited role-depth for EL and Prob-EL⁰¹. Technische Universität Dresden, 2010. http://dx.doi.org/10.25368/2022.176.

Texte intégral

Résumé :

In Description Logics the reasoning service most specific concept (msc) constructs a concept description that generalizes an ABox individual into a concept description. For the Description Logic EL the msc may not exist, if computed with respect to general EL-TBoxes or cyclic ABoxes. However, it is still possible to find a concept description that is the msc up to a fixed role-depth, i.e. with respect to a maximal nesting of quantifiers. In this report we present a practical approach for computing the roledepth bounded msc, based on the polynomial-time completion algorithm for EL. We extend these methods to Prob-EL⁰¹c , which is a probabilistic variant of EL. Together with the companion report [9] this report devises computation methods for the bottom-up construction of knowledge bases for EL and Prob-EL⁰¹c .

Styles APA, Harvard, Vancouver, ISO, etc.

Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!