15 Hits in 5.4 sec

Logical Difference and Module Extraction with CEX and MEX

Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
2008 International Workshop on Description Logics  
Sizes of definition-closed and semantic modules Table 1 . 1 Logical difference between semantic modules of two Snomed ct versions CEX: Diff(SM-05,SM-06) CEX: Diff(Mod(SM-05),Mod(SM-06)) Size of Time  ...  We compare the size of modules generated by MEX with the minimal modules generated by a number of other extraction algorithms.  ... 
dblp:conf/dlog/KonevLWW08 fatcat:7b7dit7rwjcatjbuu3552nqzfi

CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL

Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
2008 W3C Web Ontology Language (OWL) Experiences and Directions Workshop (OWLED)  
diff and the extraction of semantic modules.  ...  The first part presents experiments with the system CEX.  ...  and MEX Table 3 . 3 CEX: Diff(SM-05,SM-06) CEX: Diff(Mod(SM-05),Mod(SM-06)) Size of Time Memory |DiffLΣ| |DiffRΣ| Time Logical difference between semantic modules of two Snomed ct versions Memory  ... 
dblp:conf/owled/KonevL0W08 fatcat:e4lou6a62bgcvli6g25e6uxt4u

Modularity Meets Forgetting: A Case Study with the SNOMED CT Ontology

Jieying Chen, Ghadah Alghamdi, Renate A. Schmidt, Dirk Walther, Yongsheng Gao
2019 International Workshop on Description Logics  
We consider different module extraction techniques and show how they relate to each other. We also consider the notion of uniform interpolation that is underlying forgetting.  ...  We investigate combining several module notions with uniform interpolation and provide a preliminary evaluation forgetting signatures based on the European Renal Association subset from SNOMED CT.  ...  The black-box approach uses a tool for detecting logical differences (e.g., CEX [9] ) and computes the set of those axioms whose removal causes a logical difference w.r.t. the original ontology [6, 7  ... 
dblp:conf/dlog/ChenAS0G19 fatcat:tckdln5l5fcznhsme5pew6dpzy

Computing ALCH

Patrick Koopmann, Jieying Chen
2017 Workshop on Second-Order Quantifier Elimination and Related Topics  
We investigate how minimal subsumption modules can be extracted using methods for uniform interpolation and forgetting.  ...  Given an ontology and a signature of concept and role names, a subsumption module is a subset of the ontology that preserves all logical entailments that can be expressed in the description logic of the  ...  For computing logical differences, the authors use the tool CEX [11] , whose latest version supports the computation of logical differences between ELH r -ontologies [21] .  ... 
dblp:conf/soqe/KoopmannC17 fatcat:5elef3ttm5czvmmg2hgspjxxwi

Computing Minimal Subsumption Modules of Ontologies

Jieying Chen, Michel Ludwig, Dirk Walther
We follow the black-box approach for finding one or all justifications by replacing the entailment tests with logical difference checks, obtaining modules that preserve not only a given consequence but  ...  Such minimal modules can serve to improve our understanding of the internal structure of large and complex ontologies.  ...  In this paper, however, we use Version 3 of CEX 5 that works with cyclic ELH r -terminologies, implementing a proof-theoretic approach to the logical difference problem.  ... 
doi:10.29007/tz7k fatcat:nm4vkupjoreyfjq6wygxsx4oem

FANTASIA: A Tool for Automatically Identifying Inconsistency in AngularJS MVC Applications

Md Rakib, Hossain Misu, Kazi Sakib
FANTASIA first extracts Abstract Syntax Tree (AST) and DOM from the AngularJS application's MVC modules including its custom directives.  ...  To evaluate FANTASIA, 25 open source AngularJS applications are used where 15 applications contain only MVC modules and rest of the applications contain both MVC modules and custom directives.  ...  It provides the AST to the ME and CEx module. Those modules analyze the AST for further extracting mv and cf. D.  ... 

The Logical Difference for the Lightweight Description Logic EL

B. Konev, M. Ludwig, D. Walther, F. Wolter
2012 The Journal of Artificial Intelligence Research  
We investigate this approach for terminologies given in the description logic EL extended with role inclusions and domain and range restrictions for three distinct types of queries: subsumption, instance  ...  The difference between two versions of an ontology is given by the set of queries that receive different answers.  ...  We would like to thank William Gatens for the development of the LogDiffViz Protégé plugin and three anonymous reviewers for their helpful comments.  ... 
doi:10.1613/jair.3552 fatcat:5akbbxytonhkhpl6gcm4lnnjpi

Public health interpretation of trihalomethane blood levels in the United States: NHANES 1999–2004

Judy S Lakind, Daniel Q Naiman, Sean M Hays, Lesa L Aylward, Benjamin C Blount
2009 Journal of Exposure Science and Environmental Epidemiology  
. > par (Cs(fig,fin, We see that all the parameters have changed with the exception of mai, mar, mex and cex.  ...  ,cex,oma,omd,omi,pin,plt)) Now, let us change the value of oma to allow space for 5 lines of text in the default size of the default font (mex=1). par(oma=c(0,0,5,0)) > par(Cs(fig,fin,mai,mar,mex,cex,oma  ...  Chapter 8 Builtin S Functions for Multiple Linear Regression lm is the builtin function for fitting multiple linear regression models, and it works with several other functions to summarize results, make  ... 
doi:10.1038/jes.2009.35 pmid:19550438 fatcat:crpmkmo4vbab3jgxepkmjgtoaa

Basics [chapter]

Peter Dalgaard
2008 Statistics and Computing  
, mex Character size and line spacing in margins .  ...  In this section we discuss how to read data files and how to use the data editor module in R.  ...  pnorm(42, mean=35, sd=6) dbinom(10, size=10, prob=0.8) punif(0.9) # this one is obvious... 1 -pchisq(6.5, df=2) It might be better to use lower.tail=FALSE instead of subtracting from 1 in (a), (b), and  ... 
doi:10.1007/978-0-387-79054-1_1 fatcat:mc4hisgq7ve2zboiz7d6amzgrq

Algebraic Analysis of Multiple Social Networks with multiplex

J. Antonio Rivero Ostoic
2020 Journal of Statistical Software  
In this paper, particular types of complex systems studied within an algebraic approach are multiplex networks with different kinds of positively valued relations, signed networks with ties having opposite  ...  Visualization of multigraphs, different forms of bipartite graphs, inclusion lattices, Cayley graphs is supported as well with related packages.  ...  the combination of ties with different signs.  ... 
doi:10.18637/jss.v092.i11 fatcat:co46y7ankjbwnjgbhqhqu43f3q

Algebraic analysis of multiple social networks with multiplex [article]

J Antonio Rivero Ostoic
2020 arXiv   pre-print
—such as the partially ordered semigroup, and balance or cluster semirings— their decomposition, and the enumeration of bundle patterns occurring at different levels of the network.  ...  Visualization of multigraphs, different forms of bipartite graphs, inclusion lattices, Cayley graphs is supported as well with related packages.  ...  the combination of ties with different signs.  ... 
arXiv:1911.13037v2 fatcat:tleng63kvzaaxbdeex2iewumeu

A comparison of two EIT systems suitable for imaging impedance changes in epilepsy

L Fabrizi, A McEwan, T Oh, E J Woo, D S Holder
2009 Physiological Measurement  
We compared this new carbon-hydrogel electrode with two different types of electrodes including the carbon electrode and the previously used recessed electrode.  ...  The eddy-current problem was solved and the MIT signals computed for strokes of different volumes occurring at different locations in the brain.  ...  Number EEC-9986821) and by NIBIB, the National Institute of Biomedical Imaging and Bioengineering under Grant Number R01-EB000456-03.  ... 
doi:10.1088/0967-3334/30/6/s07 pmid:19491447 fatcat:nzeetw52ofaslcwhd2kxylvlpu

PATRON-IN-CHIEF EDITORIAL BOARD Journal of Islamic International Medical College Quarterly

Mr Hassan, Muhammad Khan, Akbar Nadim, Khan, Ulfat Bashir, M Ayyaz Bhatti, Brig, R Ahsan, Ahmad Alvi, Bari Abdul, Prof Khan, Rana Rehana (+17 others)
2018 unpublished
onal Medical College thinking emerged logically with students driving the links.  ...  If these TEASERS are linked in logical order of lecture they help in maintain interest and focus of student in lecture.  ...  These findings are almost universal phenomena in different countries with different education systems and curricula.  ... 

Molecular Interactions in PLGA Delivery Systems and Their Effects on Microencapsulated Peptides

King Yeung Hong, University, My
of the differences between in vitro and in vivo product performance.  ...  However, this class of drug product is usually associated with high costs of development as well as slow approval process owing to difficulties of microencapsulation, drug stability, and a poor understanding  ...  The average exenatide concentration (Cex(t)) inside the microsphere aqueous pores at time t can be estimated by the following equation: 𝐶 $% (𝑡) = 𝑀 $% (𝑡)𝜌 & 𝑊 # (𝑡)𝑀 ' (𝑡) where Mex(t) is the  ... 
doi:10.7302/4650 fatcat:winbramw5ndndpdex4xj3qi5pa

The Dynamics of Affect: Using Newtonian Mechanics, Reinforcement Sensitivity Theory, and the Cues-Tendencies-Actions Model to Simulate Individual Differences in Emotional Experience

Ashley Danielle Brown
2017 unpublished
; namely, a dynamic computational model that generates the observable between-persons differences in behavior and affect on which self-report measures are based from the unobservable within-persons differences  ...  Reinforcement sensitivity theory (RST) has enormous potential to become a paradigmatic model of individual differences.  ...  In addition, the BIS module allowed for expectation and action modification when expectations were violated.  ... 
doi:10.21985/n24b2z fatcat:iic6ozrmnfechitxvor6kzqzti