作者: acheon 時間: 2025-3-21 22:21 作者: exhibit 時間: 2025-3-22 03:36 作者: 飛鏢 時間: 2025-3-22 06:43 作者: 熟練 時間: 2025-3-22 11:16 作者: agenda 時間: 2025-3-22 14:15
A. Seganti,P. Kap?ański,P. Zarzyckiigstens in vielen F?llen, reizaufnehmend sein k?nnen. In der Regel haben sich für diese Funktion besondere Ectodermzellen in geeigneter Weise differenziert, d. h. zu . entwickelt. Bei den Wirbellosen sind diese Zellen dadurch charakterisiert, da? sie proximal in eine feine Faser auslaufen, welche al作者: crease 時間: 2025-3-22 17:38
Marlo Souza,Alvaro Moreira,Renata Vieira,John-Jules Ch. Meyersential features, and disregards what is of minor importance. The theory meets its limits of applicability where a dis- regarded influence becomes important. Thus, rigid-body dynamics describes in many cases the motion of actual bodies with high accu- racy, but it fails to produce more than a few ge作者: 道學(xué)氣 時間: 2025-3-23 01:17
Bijan Parsia,Tahani Alsubait,Jared Leo,Veronique Malaisé,Sophie Forge,Michelle Gregory,Andrew Allensential features, and disregards what is of minor importance. The theory meets its limits of applicability where a dis- regarded influence becomes important. Thus, rigid-body dynamics describes in many cases the motion of actual bodies with high accu- racy, but it fails to produce more than a few ge作者: Counteract 時間: 2025-3-23 02:31
Luke Slater,Miguel ángel Rodríguez-García,Keiron O’Shea,Paul N. Schofield,Georgios V. Gkoutos,Robertin isoperimetric problems underscores the importance of "optimal form" in ancient cultures, see Hildebrandt-Tromba [1] for a beautiful treatise of this subject. While variatio- nal problems thus are part of our classical cultural heritage, the first modern treatment of a variational problem is attri作者: 尊嚴 時間: 2025-3-23 08:52 作者: Substitution 時間: 2025-3-23 11:33
D?rthe Arndt,Ben De Meester,Pieter Bonte,Jeroen Schaballie,Jabran Bhatti,Wim Dereuddre,Ruben Verborgsuch as (1) J(z) = a, where J(z) is an entire or meromorphic function and a is a complex value. It is especially important to investigate the number n(r, J = a) of the roots of (1) and their distribution in a disk Izl ~ r, each root being counted with its multiplicity. It was the research on such to作者: REIGN 時間: 2025-3-23 16:03
Adila A. Krisnadhi,Pascal Hitzler,Krzysztof Janowicz) J(z) = a, where J(z) is an entire or meromorphic function and a is a complex value. It is especially important to investigate the number n(r, J = a) of the roots of (1) and their distribution in a disk Izl ~ r, each root being counted with its multiplicity. It was the research on such topics that 作者: 條街道往前推 時間: 2025-3-23 19:40 作者: Mitigate 時間: 2025-3-24 00:21 作者: Promotion 時間: 2025-3-24 02:25
Agnieszka ?awrynowicz,Ilona ?awniczakin air traffic volume. The next ten years will witness a dramatic overhaul of computer hardware and software in enroute and terminal facilities to accommodate future growth in air traffic activities. From a human factors perspective, notable changes are the new controller workstations or sector-suit作者: 秘密會議 時間: 2025-3-24 09:59
Steffen Lohmann,Florian Haag,Stefan Negrufor systems design, development and testing, and system effectiveness testing. However, recent advances in man-machine interface system (M-MIS) technology (i.e., sensors, processors, displays and controls, and the overall control room configuration) and the man-machine systems that they control have作者: dissolution 時間: 2025-3-24 11:28 作者: 柏樹 時間: 2025-3-24 17:57
ogencity induced by either virus. This interaction is called synergism. For one well-know type of synergism, it has been shown that a transgene containing particular sequences of one virus can enhance the accumulation and pathogenicity induced by a second virus. However, those transgenic viral seque作者: 苦惱 時間: 2025-3-24 19:22
OBOWLMorph: Starting Ontology Development from PURO Background Models,ation to be covered by the ontology is first created, then a seed of the ontology is generated automatically from it, allowing users to choose suitable modeling style and import the ontology seed into a common ontology editor where it can be finalized. Using PURO as intermediary model should enable 作者: 暫時休息 時間: 2025-3-25 00:04
A Similarity Based Approach to Omission Finding in Ontologies, as well. Standard reasoning services focus on certain obvious dimensions of quality, e.g., to detect inconsistencies and incoherence. In addition, bespoke tools have been presented to address the completeness dimension of quality, e.g., missing entailments. These tools are usually focused on very r作者: Urgency 時間: 2025-3-25 03:54 作者: opinionated 時間: 2025-3-25 09:16
Collaborative Editing of Ontologies Using Fluent Editor and Ontorion,ve been able to build a collaborative knowledge management system using these two tools. We show how this system can be used for the concurrent modification of knowledge and how we can manage multiple modifications to the same knowledge.作者: alcoholism 時間: 2025-3-25 12:05 作者: Optic-Disk 時間: 2025-3-25 16:17 作者: epinephrine 時間: 2025-3-25 23:31
Experiences with Aber-OWL, an Ontology Repository with OWL EL Reasoning,his purpose. These ontologies also constitute large volumes of formalized domain knowledge, usually expressed in the Web Ontology Language (OWL). Computational access to the knowledge contained within them relies on the use of automated reasoning. We have developed Aber-OWL, an ontology repository t作者: 合并 時間: 2025-3-26 00:08
Towards a Rule Based Distributed OWL Reasoning Framework, reasoning over several language profiles such as RDFS, OWL Horst, OWL 2 EL, OWL 2 RL etc. But all those approaches are limited to the particular ruleset that the reasoner supports. In this work, we propose the idea for a rule-based distributed reasoning framework that can support any given ruleset 作者: famine 時間: 2025-3-26 07:06
Improving OWL RL Reasoning in N3 by Using Specialized Rules,w to face problems in real time. An alternative is to use a rule-based reasoner together with the OWL RL/RDF rules as stated in the specification of the OWL 2 language profiles. In most cases this approach actually improves reasoning times, but due to the complexity of the rules, not as much as it c作者: sterilization 時間: 2025-3-26 11:47
On the Capabilities and Limitations of OWL Regarding Typecasting and Ontology Design Pattern Views,s, code lists, and so forth, there is a frequently recurring need to express certain types of axioms that allow diverse representational choices interoperate. Some of these axioms, which we call typecasting axioms, point to limitations of the Web Ontology Language (OWL), while others require best pr作者: Overdose 時間: 2025-3-26 14:05
How to Keep a Reference Ontology Relevant to the Industry: A Case Study from the Smart Home,roperability for smart appliances. Smart appliances are intelligent and networked devices that accomplish some household functions, such as cleaning or cooking. This paper focuses on specific aspects of SAREF’s development cycle, such as the design principles on which the ontology is based and the s作者: 徹底明白 時間: 2025-3-26 17:35
An INSPIRE-Based Vocabulary for the Publication of Agricultural Linked Data, integration of data relevant for farming production. In particular, the integration focuses on existing open datasets as well as their publication in Linked data format in order to maximize their reusability and enable the exploitation of the extra knowledge derived from the generated links. Based 作者: 消滅 時間: 2025-3-26 21:31 作者: 小溪 時間: 2025-3-27 02:06
Towards a Visual Notation for OWL: A Brief Summary of VOWL,ndividual and combined OWL elements as well as complete OWL ontologies can be very useful in many cases. We have developed the Visual Notation for OWL (VOWL) that defines graphical representations for most of the OWL language constructs. In contrast to related work, VOWL aims at a complete and well-作者: outset 時間: 2025-3-27 05:51 作者: Bumptious 時間: 2025-3-27 09:30
An Application Ontology to Help Users of a Geo-decision Software Understanding Their Data,nées (C & D): CD7Online. Specified in OWL DL, the CD7 ontology was conceived for automation of semantic annotation of CD7Online user data to help users better understand their data and make better selection and representation choices when building maps.作者: 階層 時間: 2025-3-27 16:53 作者: 幻影 時間: 2025-3-27 20:07 作者: 不幸的人 時間: 2025-3-27 23:34
On the Capabilities and Limitations of OWL Regarding Typecasting and Ontology Design Pattern Views,n using ontology and ontology patterns. We then conclude with a brief catalog of open research problems motivated by typecasting axioms, which may be of potential interest to both application developers and researchers working on logical foundations of OWL.作者: intellect 時間: 2025-3-28 03:17 作者: bile648 時間: 2025-3-28 07:12
Towards a Visual Notation for OWL: A Brief Summary of VOWL,ign principles and considerations. At OWLED 2015, we conducted a special session to gather feedback on how to further improve the visual notation and to collect requirements for its future development.作者: 拘留 時間: 2025-3-28 12:26 作者: 謊言 時間: 2025-3-28 17:36 作者: CLOWN 時間: 2025-3-28 21:57
Towards a Rule Based Distributed OWL Reasoning Framework,set that the reasoner supports. In this work, we propose the idea for a rule-based distributed reasoning framework that can support any given ruleset and highlight some of the challenges that needs to be solved in order to implement such a framework.作者: 懲罰 時間: 2025-3-29 01:38 作者: 無動于衷 時間: 2025-3-29 03:56
Conference proceedings 2016hlehem, PA, USA, in October 2015, co-located with ISWC 2015, the International Semantic Web Conference.. The 18 revised papers presented were carefully reviewed and selected from 35 initial submissions. Bridging the gap between ontology engineering practices and software engineering, the papers desc作者: jabber 時間: 2025-3-29 08:57
A Similarity Based Approach to Omission Finding in Ontologies,estricted subsets of all the possible missing entailments, i.e., only atomic subsumptions. We present a new protocol to detect both existing invalid entailments and missing valid entailments. We also present a case study to evaluate the usefulness of the presented protocol for ontology validation purposes.作者: Factual 時間: 2025-3-29 14:16
An Ontology for Supporting the Evolution of Virtual Reality Scenarios,rt the ontology design activity performed in the context of the . project aiming to realize a conceptual model able to abstract the developers from the graphical and geometrical properties of the entities in the VR, as well as the behavioral models associated to the non-playing characters.作者: 蓋他為秘密 時間: 2025-3-29 18:52
Snap-SPARQL: A Java Framework for Working with SPARQL and OWL,t it is more generally useful and may be of interest to developers and researchers working on SPARQL 1.1 OWL entailment regime implementations and optimisations. The framework is open source and pluggable.作者: Gum-Disease 時間: 2025-3-29 21:22
Ontology Engineering: From an Art to a Craft,n patterns, the use of IT portal(s), re-usability, and compatibility. To illustrate the key issues we provide examples that originate from our work on the ontologies for data mining. We conclude the paper with a summary and some suggestions that we believe should be addressed by the ontology engineering research community.作者: Panacea 時間: 2025-3-30 03:56
Conference proceedings 2016ribe reuse methods employed throughout the ontology development cycle; modeling / terminological decisions, alignment and comparison between ontologies, how ontologies are stored, versioned, distributed, and consumed over the Web..作者: 使苦惱 時間: 2025-3-30 07:31
0302-9743 alignment and comparison between ontologies, how ontologies are stored, versioned, distributed, and consumed over the Web..978-3-319-33244-4978-3-319-33245-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 鳴叫 時間: 2025-3-30 10:10
Improving OWL RL Reasoning in N3 by Using Specialized Rules, new rules which makes the rule creation a reasoning step on its own. We evaluate our implementation on a semantic nurse call system. Our results show that adding a pre-reasoning step to produce specialized rules improves reasoning times by around 75?%.作者: Sad570 時間: 2025-3-30 16:26 作者: Cupidity 時間: 2025-3-30 17:22
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/o/image/701710.jpg作者: 大都市 時間: 2025-3-30 21:48
https://doi.org/10.1007/978-3-319-33245-1description logics; modeling; ontology development; rule-based reasoning; semantic Web; agent communicati作者: CRAB 時間: 2025-3-31 03:49 作者: UTTER 時間: 2025-3-31 05:09
Towards a Core Ontology of Occupational Safety and Health,ts specification and modeling and ontology engineering issues encountered during the design process. The resulting OSHDO-Core contains the core vocabulary of the domain with basic ontological distinctions. The ultimate goal is to establish a common vocabulary and a core formal model of the domain.作者: Hyperlipidemia 時間: 2025-3-31 12:06 作者: 最高峰 時間: 2025-3-31 17:13
