Filters








49,799 Hits in 7.2 sec

Definitions Management: A Semantics-Based Approach for Clinical Documentation in Healthcare Delivery [chapter]

Vipul Kashyap, Alfredo Morales, Tonya Hongsermeier, Qi Li
2005 Lecture Notes in Computer Science  
The DL engine checks whether the changes are consistent or whether they give rise to contradictions.  ...  In this paper, we present a realworld implementation of a semantics-based approach to automate structured clinical documentation based on a description logics (DL) system for ontology management.  ...  When the event broker receives a patient id it is forwarded to appropriately components to retrieve an initial set of data collection items. • DL Engine: This component processes OWL-DL based ontologies  ... 
doi:10.1007/11574620_63 fatcat:laemd4v5mzfn7j7ex7hjnulqo4

An ontological framework for knowledge modeling and decision support in cyber-physical systems

Leonard Petnga, Mark Austin
2016 Advanced Engineering Informatics  
The SROIQ DL has been found to be the most appropriate logic-based knowledge formalism as it maps to OWL 2 and ensures its decidability.  ...  This paper introduces a new ontological-based knowledge and reasoning framework for decision support for CPS.  ...  The tableau algorithm decides satisfiability and subsumption of SROIQ-concepts with respect to ABoxes, RBoxes, and TBoxes.  ... 
doi:10.1016/j.aei.2015.12.003 fatcat:nwccl6hsufa6vlv6mpdf3quexe

Ontology-Based Metasearch Engine in Electronics Area

2020 VOLUME-8 ISSUE-10, AUGUST 2019, REGULAR ISSUE  
To increase result's precession, users sometimes choose search engines, specialized in searching concrete domain, personalized or semantic search.  ...  Paper The goal of search engines is to return accurate and complete results.  ...  It also supports two types of search: a keyword-based search and a semantics-based search.  ... 
doi:10.35940/ijitee.l8014.1091220 fatcat:rgknuhiwffhjldvu4w7ugiht2i

ConcepTool: Intelligent Support to the Management of Domain Knowledge [chapter]

Ernesto Compatangelo, Helmut Meisel
2003 Lecture Notes in Computer Science  
Moreover, our system uses lexical and heuristic inferences in conjunction with logical deductions based on subsumption in order to improve the quantity and the quality of analysis results.  ...  We have developed ConcepTool, a system which supports the modelling and the analysis of expressive domain knowledge and thus of different kinds of application ontologies.  ...  Acknowledgements This work is supported by the British Engineering & Physical Sciences Research Council (EPSRC) under grants GR/R10127/01 and GR/N15764 (IRC in AKT).  ... 
doi:10.1007/978-3-540-45224-9_14 fatcat:7qqme75y6ncvvlf3ie5k5jg6za

Facilitating DL-based hybrid reasoning with inference fusion

Bo Hu, Inés Arana, Ernesto Compatangelo
2003 Knowledge-Based Systems  
Acknowledgements This work is partially supported by an Overseas Research Scholarship from the British Council and by EPSRC under the AKT IRC grant GR/N15764.  ...  Some approaches have been proposed to include concrete domains-and predicates on these domains-in DL-based concept definitions which are normally restricted to abstract domains.  ...  Thus, only the proper DL-based constructors which are admitted by the selected DL-based inferential engines are left.  ... 
doi:10.1016/s0950-7051(03)00026-1 fatcat:z75cum3krvejjcij7loxlwckb4

Facilitating DL-based Hybrid Reasoning with Inference Fusion [chapter]

Bo Hu, Inés Arana, Ernesto Compatangelo
2003 Research and Development in Intelligent Systems XIX  
Acknowledgements This work is partially supported by an Overseas Research Scholarship from the British Council and by EPSRC under the AKT IRC grant GR/N15764.  ...  Some approaches have been proposed to include concrete domains-and predicates on these domains-in DL-based concept definitions which are normally restricted to abstract domains.  ...  Thus, only the proper DL-based constructors which are admitted by the selected DL-based inferential engines are left.  ... 
doi:10.1007/978-1-4471-0651-7_7 fatcat:cd2zbc5qnvh6rbcuev7ofog3hq

Combining a DL Reasoner and a Rule Engine for Improving Entailment-Based OWL Reasoning [chapter]

Georgios Meditskos, Nick Bassiliades
2008 Lecture Notes in Computer Science  
Towards this end, we define a framework that uses a DL reasoner to reason over the TBox of the ontology (hybrid-like) and a rule engine to apply a domain-specific version of ABoxrelated entailments (homogeneous-like  ...  ) that are generated by TBox queries to the DL reasoner.  ...  This work was partially supported by a PENED program (No. 03ΕΔ73), jointly funded by the European Union and the Greek government (GSRT).  ... 
doi:10.1007/978-3-540-88564-1_18 fatcat:ovvdypv2mvdnti4zcoz6776ste

Workshop on comparing description and frame logics

D Fensel, M.-C Rousset, S Decker
1998 Data & Knowledge Engineering  
He should only be able to specify declarative knowledge. The inference service is realized by the deductive engine of the DL system.  ...  However it is interesting to note that recent approaches in the bandwagon of DLs try to increase to expressive power of these languages so as to cover structured objects and meta-reasoning (i.e., CATS  ...  He should only be able to specify declarative knowledge. The inference service is realized by the deductive engine of the DL system.  ... 
doi:10.1016/s0169-023x(97)00039-6 fatcat:37tqhgnbtbfujht33mdrnjr33q

A method for the implementation of a description logic reasoner

Nenad Krdzavac, Dragan Gasevic
2005 Publikacija Elektrotehnickog fakulteta - serija matematika  
This paper presents implementation details of an ALC (Attribute Language with Complement) description logic reasoner based on a model-engineering technology, called Model Driven Architecture (MDA).  ...  Some publicly available reasoners are successfully implemented in object-oriented technology or in LISP programming language, but reasoners do not respect software engineering standards, and their authors  ...  support.  ... 
doi:10.2298/petf0516119k fatcat:mt4tjojqkrhjtdgwnzfrkqy3v4

Semantic WebBased Analysis of Product Line Variant Model

Shamim Ripon, M. M. Piash, S. M. A. Hossain, M. S. Uddin
2014 International Journal of Computer and Electrical Engineering  
Besides, the OWL-DL representation also facilitates the search and maintenance of feature models and support knowledge sharing within a reusable engineering context.  ...  This paper presents an approach to modeling and analyzing SPL model using semantic-web approach. We use OWL-DL to model the common and variant features in the SPL model.  ...  Along with modeling feature using OWL-DL both of them proposed additional tool support to design feature models.  ... 
doi:10.7763/ijcee.2014.v6.783 fatcat:l3mknsyjgbfyzcyghuosunwgni

A Semantic Web Based Ontology In The Financial Domain

S. Banerjee
2013 Zenodo  
The paper describes design of an ontology in the financial domain for mutual funds.  ...  Finally, semantic query permits complex queries to integrated data, mapping of these database entities to ontological concepts.  ...  Engineering Vol:7, No:6, 2013 waset.org/Publication/10376 D A Semantic Web Based Ontology in the Financial Domain S.  ... 
doi:10.5281/zenodo.1075120 fatcat:rvhuqo3o5ndetdzlkbemab3rhi

Domain analysis of object-oriented frameworks in FrameDoc

Carlos J. Fernández-Conde, Pedro A. González-Calero
2002 Proceedings of the 14th international conference on Software engineering and knowledge engineering - SEKE '02  
Within the overall goal of FrameDoc to alleviate the aforementioned learning effort by means of explicit knowledge representation and Case-Based Reasoning (CBR), this paper concentrates on the domain analysis  ...  The proposed model consists of: a domain model, a model of the framework design, and connections between them. Supporting tools for building the model are also described in the paper.  ...  Domain analysis is a costly process which must be supported in order to make FrameDoc architecture applicable.  ... 
doi:10.1145/568766.568767 fatcat:yelmd67wina23hutfzzoufihxi

Domain analysis of object-oriented frameworks in FrameDoc

Carlos J. Fernández-Conde, Pedro A. González-Calero
2002 Proceedings of the 14th international conference on Software engineering and knowledge engineering - SEKE '02  
Within the overall goal of FrameDoc to alleviate the aforementioned learning effort by means of explicit knowledge representation and Case-Based Reasoning (CBR), this paper concentrates on the domain analysis  ...  The proposed model consists of: a domain model, a model of the framework design, and connections between them. Supporting tools for building the model are also described in the paper.  ...  Domain analysis is a costly process which must be supported in order to make FrameDoc architecture applicable.  ... 
doi:10.1145/568760.568767 dblp:conf/seke/Fernandez-CondeG02 fatcat:qgieyjahvbeuxd65crkioamoyi

Matching in description logics

F Baader
1999 Journal of Logic and Computation  
We discuss the extensions to SHIQ that are required for languages such as OWL and, finally, we sketch how novel reasoning services can support building DL knowledge bases.  ...  ontology based information.  ...  All these efforts aim at supporting users that are not DL-experts in building and maintaining DL knowledge bases.  ... 
doi:10.1093/logcom/9.3.411 fatcat:oi3ruyvki5ez7c55bzmg2bflna

A Generic Recommendation System based on Inference and Combination of OWL-DL Ontologies [chapter]

Hélio Martins, Nuno Silva
2010 Computational Intelligence for Engineering Systems  
This paper proposes a generic information recommender system based on (i) OWL DL ontologies, (ii) the inference capabilities of generic classifiers and (iii) information provided from multiple sources.  ...  The system dynamically and automatically recommends facts from the user's repository according to the user's context, which is automatically inferred according to the information provided from multiple  ...  Conclusions & future work In this paper we presented a recommendation system based on OWL DL-expressive ontologies and generic inference engines.  ... 
doi:10.1007/978-94-007-0093-2_9 fatcat:cygcseq4tfgu3ogadi2ne3jvhy
« Previous Showing results 1 — 15 out of 49,799 results