A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Filters
Definitions Management: A Semantics-Based Approach for Clinical Documentation in Healthcare Delivery
[chapter]
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
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]
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
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]
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]
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
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
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
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
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
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
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
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]
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