Готові списки джерел за темами / Reasoning services

Добірка наукової літератури з теми "Reasoning services"

Автор: Grafiati
Опубліковано: 4 травня 2024

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Зміст

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Reasoning services".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Статті в журналах з теми "Reasoning services"

1

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

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

Повний текст джерела
Анотація:
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.
Стилі APA, Harvard, Vancouver, ISO та ін.
8

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

Повний текст джерела
Анотація:
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.
Стилі APA, Harvard, Vancouver, ISO та ін.
9

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Дисертації з теми "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.

Повний текст джерела
Анотація:
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.
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Анотація:
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.
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Анотація:
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.
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Анотація:
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
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Анотація:
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.
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Книги з теми "Reasoning services"

1

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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. 5th ed. Hauppauge, NY: Barron's Educational Series, 2006.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Частини книг з теми "Reasoning services"

1

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Тези доповідей конференцій з теми "Reasoning services"

1

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Звіти організацій з теми "Reasoning services"

1

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

Повний текст джерела
Анотація:
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.
Стилі APA, Harvard, Vancouver, ISO та ін.
2

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

Повний текст джерела
Анотація:
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.
Стилі APA, Harvard, Vancouver, ISO та ін.
3

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

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

Повний текст джерела
Анотація:
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.
Стилі APA, Harvard, Vancouver, ISO та ін.
5

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

Повний текст джерела
Анотація:
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).
Стилі APA, Harvard, Vancouver, ISO та ін.
6

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

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

Повний текст джерела
Анотація:
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 .
Стилі APA, Harvard, Vancouver, ISO та ін.
Також вас можуть зацікавити розширені добірки на тему "Reasoning services" для конкретних типів джерел:
Статті в журналах Дисертації Книги
Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!

До бібліографії