Advertisement
Guest User

Untitled

a guest
Nov 19th, 2013
46
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 10.62 KB | None | 0 0
  1. Time loading UMLS lexicon sources (s): 1.39
  2. Time initializing lexical utilities (s): 1.399
  3. OVERLAPPING
  4. IRI: http://logmap.cs.ox.ac.uk/ontology.owl
  5. Time loading ontology 1 (s): 0.787
  6. Ontology 1 Axioms (s): 1746
  7. Classes index: 1
  8. Classes labels: 1
  9. Size inverted file: 3
  10. Time processing ontology 1 (s): 0.018
  11. IRI: http://logmap.cs.ox.ac.uk/ontology.owl
  12. Time loading ontology 2 (s): 1.421
  13. Ontology 2 Axioms (s): 3551
  14. Classes index: 1
  15. Classes labels: 1
  16. Size inverted file: 3
  17. Time processing ontology 2 (s): 0.017
  18. LogMap 2 Loading Time (s): 2.208
  19. Size IF intersected: 3
  20. Time intersecting IF weak (s): 0.0
  21. Size entities 1: 1
  22. Size entities 2: 1
  23. Time extracting entities4modules (s): 0.024
  24. Size module 1: 1746
  25. Size module 2: 3551
  26. Size classes module 1: 2 0
  27. Size classes module 2: 2 0
  28. Time extracting modules (s): 0.0
  29. Time extracting overlapping (s): 2.272
  30.  
  31. CLASSES: 2
  32. NUMBER OF DUMMY INDIVIDUALS: 0
  33. MAX SIZE ANNOTATIONS: 0
  34. MIN SIZE ANNOTATIONS: 5000
  35. Number of classes/labels: 1
  36. Number of labels + syn: 1
  37. Cases with huge combination of synonyms: 0
  38. Number of entries inverted file (exact): 2
  39. Number of dProp: 0
  40. Number of dProp inverted file: 0
  41. Number of oProp: 0
  42. Number of oProp inverted file: 0
  43. Number of Indiv: 0
  44. Number of Indiv inverted file: 0
  45. Number of Indiv weak inverted file: 0
  46. Number of Indiv Role assertions inverted file: 0
  47. Time setting labels and inverted files (s): 0.035
  48.  
  49. CLASSES: 2
  50. NUMBER OF DUMMY INDIVIDUALS: 0
  51. MAX SIZE ANNOTATIONS: 0
  52. MIN SIZE ANNOTATIONS: 5000
  53. Number of classes/labels: 2
  54. Number of labels + syn: 1
  55. Cases with huge combination of synonyms: 0
  56. Number of entries inverted file (exact): 2
  57. Number of dProp: 0
  58. Number of dProp inverted file: 0
  59. Number of oProp: 0
  60. Number of oProp inverted file: 0
  61. Number of Indiv: 0
  62. Number of Indiv inverted file: 0
  63. Number of Indiv weak inverted file: 0
  64. Number of Indiv Role assertions inverted file: 0
  65. Time setting labels and inverted files (s): 0.008
  66. Time extracting lexicon and IF (s): 0.043
  67. IF Exact 1: 2
  68. IF Exact 2: 2
  69. Intersection IF Exact: 2
  70. IF Stemming 1: 2
  71. IF Stemming 2: 2
  72. Intersection IF Stemming: 2
  73. Entries in Weak IF from Setemming: 0
  74. Entries in Weak IF from Setemming: 0
  75. IF Weak 1: 2
  76. IF Weak 2: 2
  77. Intersection IF Weak: 2
  78. Time intersecting IF and extracting IF weak (s): 0.012
  79.  
  80. Classifying 'AL' Ontology with MORe...
  81. Lsignature extraction took 9 milliseconds
  82. Lsignature of size 2
  83. 0 axioms in comp module
  84. HermiT took 17 milliseconds
  85. Error classifying ontology with MORe Reasoner
  86. Error/timeout setting up MORe reasoner. Using 'structural' reasoner instead.
  87. Representatives (aggregated): 0
  88. Disjoint: 0
  89. Equivalences: 0
  90. Big nodes: 0
  91. ->General HORN Axioms: 0
  92. Extracting General Axioms: 0.0
  93.  
  94. Classifying 'AL' Ontology with MORe...
  95. Lsignature extraction took 1 milliseconds
  96. Lsignature of size 2
  97. 0 axioms in comp module
  98. HermiT took 4 milliseconds
  99. Error classifying ontology with MORe Reasoner
  100. Error/timeout setting up MORe reasoner. Using 'structural' reasoner instead.
  101. Representatives (aggregated): 0
  102. Disjoint: 0
  103. Equivalences: 0
  104. Big nodes: 0
  105. ->General HORN Axioms: 0
  106. Extracting General Axioms: 0.0
  107. Time extracting structural information (s): 0.34
  108. WEAK ANCHORS: 1
  109. Time creating all weak anchors (s): 0.001
  110. NullPointerException [class]
  111. NullPointerException [top]
  112. Time creating candidate subset of weak anchors (s): 0.004
  113. Time Parsing and Index Lexicon (s): 0.007
  114.  
  115. ANCHOR DIAGNOSIS
  116. Time creating anchors (s): 0.001
  117.  
  118. Num Anchors: 1
  119.  
  120.  
  121.  
  122. SMALL PROJECTION
  123. -------------------------
  124. Size projection: 2
  125. TAX clause num: 0
  126. Equiv clause num: 0
  127. D&G DISJ clause num: 0
  128. D&G general axioms clause num: 0
  129. D&G mappings clause num: 2
  130. D&G mapping links: 2 0
  131. D&G mappings clause num: 2
  132. D&G mapping links: 0 0
  133. UNSAT found: 0
  134. Remaining hard cases onto from small projection (1 Iter): 0
  135. Time ckecking satisfiability with D&G (Small projection, simple cases) (s): 0.016
  136.  
  137.  
  138. ALL ONTOLOGY
  139. -------------------------
  140. TAX clause num: 0
  141. Equiv clause num: 0
  142. D&G DISJ clause num: 0
  143. D&G general axioms clause num: 0
  144. D&G mappings clause num: 2
  145. D&G mapping links: 2 0
  146. D&G mappings clause num: 2
  147. D&G mapping links: 0 0
  148. UNSAT found: 0
  149. Remaining hard cases all onto (1 Iter): 0
  150. Time ckecking satisfiability with D&G (Big projection, simple cases) (s): 0.001
  151.  
  152. DISCARDED MAPPINGS: 0 -
  153. WEAKENED MAPPINGS: 0 - 0
  154. Clauses 2 ignore: 0
  155.  
  156. Average mappings per conflict: NaN
  157. Max mappings per conflict: 0
  158. Min mappings per conflict: 10000
  159. Average size of repair: NaN
  160. Max size of repair: 0
  161. Min size of repair: 10000
  162. Average mappings in repair: NaN
  163. Max mappings per repair: 0
  164. Min mappings per repair: 10000
  165. Time cleaning anchors D&G (s): 0.025
  166.  
  167. Num Anchors: 1
  168.  
  169. Original entries DirectSubclasses: 2
  170. Original entries DirectSubclasses: 2
  171. Adapted entries DirectSubclasses: 1
  172. Adapted entries DirectSubclasses: 2
  173. Representatives from Mappings: 1
  174. Mapping entries (sub mappings): 2
  175. Classes with wrong/negative preorder (-1 or -d): 0
  176. Classes with wrong/negative descendants intervals (<-1,-1> or <-id,-id>): 0
  177. Time Getting Disjoint Intervals (merged) (s): 0.005
  178. There are non unsatisfiable clases (non-empty intersection of disjoint intervals))
  179. Time indexing hierarchy + anchors (ILS) (s): 0.006
  180.  
  181. CANDIDATE DIAGNOSIS 1
  182. assessAnchors2Review()
  183. createCandidates4StemmingLikeAnchors()
  184. createCandidates4WeakAnchors()
  185. createMappings2AskUser()
  186. Time creating candidates (s): 0.001
  187.  
  188.  
  189. SMALL PROJECTION
  190. -------------------------
  191. Size projection: 2
  192. TAX clause num: 0
  193. Equiv clause num: 0
  194. D&G DISJ clause num: 0
  195. D&G general axioms clause num: 0
  196. D&G mappings clause num: 0
  197. D&G mapping links: 0 0
  198. D&G mappings clause num: 2
  199. D&G mapping links: 2 0
  200. UNSAT found: 0
  201. Remaining hard cases onto from small projection (1 Iter): 0
  202. Time ckecking satisfiability with D&G (Small projection, simple cases) (s): 0.006
  203.  
  204.  
  205. ALL ONTOLOGY
  206. -------------------------
  207. TAX clause num: 0
  208. Equiv clause num: 0
  209. D&G DISJ clause num: 0
  210. D&G general axioms clause num: 0
  211. D&G mappings clause num: 0
  212. D&G mapping links: 0 0
  213. D&G mappings clause num: 2
  214. D&G mapping links: 2 0
  215. UNSAT found: 0
  216. Remaining hard cases all onto (1 Iter): 0
  217. Time ckecking satisfiability with D&G (Big projection, simple cases) (s): 0.001
  218.  
  219. DISCARDED MAPPINGS: 0 -
  220. WEAKENED MAPPINGS: 0 - 0
  221. Clauses 2 ignore: 0
  222.  
  223. Average mappings per conflict: NaN
  224. Max mappings per conflict: 0
  225. Min mappings per conflict: 10000
  226. Average size of repair: NaN
  227. Max size of repair: 0
  228. Min size of repair: 10000
  229. Average mappings in repair: NaN
  230. Max mappings per repair: 0
  231. Min mappings per repair: 10000
  232. Time cleaning new candidates D&G (s): 0.007
  233.  
  234. Num Anchors: 1
  235.  
  236. Original entries DirectSubclasses: 2
  237. Original entries DirectSubclasses: 2
  238. Adapted entries DirectSubclasses: 1
  239. Adapted entries DirectSubclasses: 2
  240. Representatives from Mappings: 1
  241. Mapping entries (sub mappings): 2
  242. Classes with wrong/negative preorder (-1 or -d): 0
  243. Classes with wrong/negative descendants intervals (<-1,-1> or <-id,-id>): 0
  244. Time Getting Disjoint Intervals (merged) (s): 0.009
  245. There are non unsatisfiable clases (non-empty intersection of disjoint intervals))
  246. Time indexing hierarchy + anchors and candidates I (ILS) (s): 0.011
  247. Assessing mappings to ask user.
  248. ---------------------
  249. All Candidate mappings: 1
  250. Good Candidate mappings: 0
  251. ---------------------
  252. LogMap anchors: 1
  253. Good LogMap anchors: 0
  254. Precision LogMap anchors: 0.0
  255. Recall LogMap anchors: NaN
  256. Fmeasure LogMap anchors: NaN
  257. ---------------------
  258. LogMap 2 ask mappings: 0
  259. Good LogMap 2ask mappings: 0
  260. ---------------------
  261. LogMap split mappings: 0
  262. Good LogMap split mappings: 0
  263. ---------------------
  264. LogMap discarded mappings: 0
  265. Good LogMap discarded mappings: 0
  266. ---------------------
  267. LogMap hard discarded mappings: 0
  268. Good LogMap hard discarded mappings: 0
  269. ---------------------
  270. LogMap conflictive mappings: 0
  271. Good LogMap conflictive mappings: 0
  272. ---------------------
  273. LogMap conflictive mappings D&G: 0
  274. Good LogMap conflictive mappings D&G: 0
  275. ---------------------
  276. All Candidates recount: 1
  277. Good Candidates recount: 0
  278. ---------------------
  279.  
  280. CANDIDATE DIAGNOSIS 2
  281. Oracle is not active. Performing automatic decisions.
  282. Second chance to mappings discarded by Dowling and Gallier.
  283. Mappings with second chance: 0 in GS: 0
  284.  
  285.  
  286. SMALL PROJECTION
  287. -------------------------
  288. Size projection: 2
  289. TAX clause num: 0
  290. Equiv clause num: 0
  291. D&G DISJ clause num: 0
  292. D&G general axioms clause num: 0
  293. D&G mappings clause num: 0
  294. D&G mapping links: 0 0
  295. D&G mappings clause num: 2
  296. D&G mapping links: 2 0
  297. UNSAT found: 0
  298. Remaining hard cases onto from small projection (1 Iter): 0
  299. Time ckecking satisfiability with D&G (Small projection, simple cases) (s): 0.002
  300.  
  301.  
  302. ALL ONTOLOGY
  303. -------------------------
  304. TAX clause num: 0
  305. Equiv clause num: 0
  306. D&G DISJ clause num: 0
  307. D&G general axioms clause num: 0
  308. D&G mappings clause num: 0
  309. D&G mapping links: 0 0
  310. D&G mappings clause num: 2
  311. D&G mapping links: 2 0
  312. UNSAT found: 0
  313. Remaining hard cases all onto (1 Iter): 0
  314. Time ckecking satisfiability with D&G (Big projection, simple cases) (s): 0.0
  315.  
  316. DISCARDED MAPPINGS: 0 -
  317. WEAKENED MAPPINGS: 0 - 0
  318. Clauses 2 ignore: 0
  319.  
  320. Average mappings per conflict: NaN
  321. Max mappings per conflict: 0
  322. Min mappings per conflict: 10000
  323. Average size of repair: NaN
  324. Max size of repair: 0
  325. Min size of repair: 10000
  326. Average mappings in repair: NaN
  327. Max mappings per repair: 0
  328. Min mappings per repair: 10000
  329. Time cleaning interactive mappings D&G (s): 0.007
  330.  
  331. ---------------------
  332. LogMap asked heuristics: 0
  333. ---------------------
  334.  
  335. Dirty anchors Object Prop: 0
  336. Assessing Object Property mappings: 0, to delete: 0
  337. Dirty anchors Data Prop: 0
  338. Assessing Data Property mappings: 0, to delete: 0
  339. Size IF intersection exact: 0
  340.  
  341. NUmber of Instance mappings exact IF: 0 - 0
  342. NUM INCOMPATIBLE INDIV MAPPINGS: 0
  343.  
  344. Sife IF intersection weak: 0
  345.  
  346. NUmber of Instance mappings exact+weak IF: 0 - 0
  347. NUM INCOMPATIBLE INDIV MAPPINGS: 0
  348. Size role assetions: 0
  349.  
  350. NUmber of Instance mappings exact+weak+roleass IF: 0 - 0
  351. NUM INCOMPATIBLE INDIV MAPPINGS: 0
  352. The given output path is not absolute or it does not exist. The output mappings cannot be stored.
  353. Average time taxonomic queries: 0.0. Total: 0.0. Num calls: 0
  354. Average time disjointness queries: 0.0. Total: 0.0. Num calls: 0
  355. Number of computed mappings: 1
  356. TOTAL MATCHING TIME (s): 4.248
  357. IRI: http://logmap.cs.ox.ac.uk/ontology.owl
  358. IRI: http://logmap.cs.ox.ac.uk/ontology.owl
  359. Evaluating impact...
  360. Axioms onto1: 1746
  361. Axioms onto2: 3551
  362. Mapping Axioms: 1
  363.  
  364. Classifying 'AL' Ontology with HermiT...
  365. Done, Time (s): 0.001
  366.  
  367. UNSAT classes: 0
  368. Time extracting unsat classes (s): 0.003
  369.  
  370. Num unsat classes after integration: 0
  371. Time checking impact integration (s): 0.751
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement