A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Filters
Logical Difference and Module Extraction with CEX and MEX
2008
International Workshop on Description Logics
Preserved Fulltext
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
2008
W3C Web Ontology Language (OWL) Experiences and Directions Workshop (OWLED)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2019
International Workshop on Description Logics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2017
Workshop on Second-Order Quantifier Elimination and Related Topics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
unpublished
Preserved Fulltext
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.
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
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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. ...
fatcat:wcslleao5ze4bkvap62dle6nn4
The Logical Difference for the Lightweight Description Logic EL
2012
The Journal of Artificial Intelligence Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2009
Journal of Exposure Science and Environmental Epidemiology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
. > 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]
2008
Statistics and Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
, 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
2020
Journal of Statistical Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
—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
2009
Physiological Measurement
Preserved Fulltext
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.
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
2018
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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. ...
fatcat:q356biv6ebbtbj5r4oo3le2k7u
Molecular Interactions in PLGA Delivery Systems and Their Effects on Microencapsulated Peptides
2022
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2017
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
; 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