Bibliografías temáticas / Reasoning services

Literatura académica sobre el tema "Reasoning services"

Autor: Grafiati
Publicado: 4 de mayo de 2024

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Índice

Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Reasoning services".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Artículos de revistas sobre el tema "Reasoning services"

1

Criado, N., J. M. Such y V. Botti. "Norm reasoning services". Information Systems Frontiers 16, n.º 2 (6 de septiembre de 2013): 201–23. http://dx.doi.org/10.1007/s10796-013-9444-7.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Srivastava, Rajendra P. y Theodore J. Mock. "Evidential Reasoning for WebTrust Assurance Services". Journal of Management Information Systems 16, n.º 3 (diciembre de 1999): 11–32. http://dx.doi.org/10.1080/07421222.1999.11518254.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Steller, Luke Albert, Shonali Krishnaswamy y Mohamed Methat Gaber. "Enabling Scalable Semantic Reasoning for Mobile Services". International Journal on Semantic Web and Information Systems 5, n.º 2 (abril de 2009): 91–116. http://dx.doi.org/10.4018/jswis.2009040104.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Chun, Sungkyu, Giho Jang, Hyosook Jung, Seung-Seok Kang y Seongbin Park. "Adaptive Hypermedia Services Using Semantic Web Reasoning". Advanced Science Letters 22, n.º 11 (1 de noviembre de 2016): 3279–83. http://dx.doi.org/10.1166/asl.2016.7881.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Sujana, Edy y 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.º 2 (12 de enero de 2022): 413. http://dx.doi.org/10.23887/jia.v6i2.38944.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Shuang Qiu, Yadong Wang, Yongzhuang Liu y Liang Cheng. "Bioinformatics Web Services Composition with Case based Reasoning". Journal of Convergence Information Technology 6, n.º 2 (28 de febrero de 2011): 240–53. http://dx.doi.org/10.4156/jcit.vol6.issue2.25.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Tesis sobre el tema "Reasoning services"

1

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.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

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.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

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.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Libros sobre el tema "Reasoning services"

1

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Helene, Lohman, ed. Introduction to splinting: A clinical reasoning and problem-solving approach. 3a ed. St. Louis: Mosby, 2008.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Joy, Higgs y Jones Mark A, eds. Clinical reasoning in the health professions. 2a ed. Oxford: Butterworth-Heinermann, 2000.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Capítulos de libros sobre el tema "Reasoning services"

1

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Bock, Jürgen. "Reasoning Brokerage: New Reasoning Strategies". En 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Wagner, Gerd. "Advanced Knowledge and Reasoning Services". En 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Helldin, Tove, Maria Riveiro, Sepideh Pashami, Göran Falkman, Stefan Byttner y Slawomir Nowaczyk. "Supporting Analytical Reasoning". En 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Heymans, Stijn y Ioan Toma. "Ranking Services Using Fuzzy HEX Programs". En 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.

Actas de conferencias sobre el tema "Reasoning services"

1

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Yanping Cui, Zhenmin Tang y Haibing Dai. "Case-based reasoning and rule-based reasoning for railway incidents prevention". En 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.

Informes sobre el tema "Reasoning services"

1

Baader, Franz, Carsten Lutz, Maja Miličić, Ulrike Sattler y 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.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Baader, Franz, Carsten Lutz, Maja Miličić y 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.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Ecke, Andreas y 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.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Brandt, Sebastian, Anni-Yasmin Turhan y 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.

Texto completo
Resumen
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).
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Bringsjord, Selmer, Konstantine Arkoudas y 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, agosto de 2006. http://dx.doi.org/10.21236/ada456936.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Peñaloza, Rafael y 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.

Texto completo
Resumen
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 .
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías ampliadas sobre el tema "Reasoning services" para tipos de fuentes particulares:
Artículos de revistas Tesis Libros
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía