Relevant bibliographies by topics / Reasoning services

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Reasoning services'

Author: Grafiati
Published: 4 May 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Reasoning services.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "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.

Full text
Abstract:
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, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Reasoning services"

1

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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, and other styles
You might also be interested in the extended bibliographies on the topic 'Reasoning services' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography