BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
OWL
Google OWL

Tag #owl

50 papers:

CIKMCIKM-2015-WangCWD #ontology #query #scalability #towards
Towards Scalable and Complete Query Explanation with OWL 2 EL Ontologies (ZW0, MC, KW, JD), pp. 743–752.
MLDMMLDM-2015-TaT #algorithm #database #relational
Improving the Algorithm for Mapping of OWL to Relational Database Schema (CDCT, TPT), pp. 130–139.
SACSAC-2015-StracciaM #concept #estimation #fuzzy #learning #named #probability #using
pFOIL-DL: learning (fuzzy) EL concept descriptions from crisp OWL data using a probabilistic ensemble estimation (US, MM), pp. 345–352.
LICSLICS-2015-BienvenuKP #complexity #query
Tree-like Queries in OWL 2 QL: Succinctness and Complexity Results (MB, SK, VVP), pp. 317–328.
VLDBVLDB-2014-LiagourisT #identification #knowledge base #performance
Efficient Identification of Implicit Facts in Incomplete OWL2-EL Knowledge Bases (JL, MT), pp. 1993–2004.
CIKMCIKM-2014-DuQF #approach #fine-grained
A Practical Fine-grained Approach to Resolving Incoherent OWL 2 DL Terminologies (JD, GQ, XF), pp. 919–928.
CIKMCIKM-2014-KangKL #automation #performance
A Meta-reasoner to Rule Them All: Automated Selection of OWL Reasoners Based on Efficiency (YBK, SK, YFL), pp. 1935–1938.
KEODKEOD-2014-KrisciunieneNBP #ontology
Rules for Transforming OWL 2 Ontology into SBVR (GK, LN, RB, BP), pp. 256–263.
KEODKEOD-2014-OlszewskaSM #design #ontology #uml #using
Dynamic OWL Ontology Design Using UML and BPMN (JIO, RMS, TLM), pp. 436–444.
KRKR-2014-SazonauSB #performance #predict #question
Predicting Performance of OWL Reasoners: Locally or Globally? (VS, US, GB).
DocEngDocEng-2013-Vion-Dury #documentation #integration #semantics #using
Using RDFS/OWL to ease semantic integration of structured documents (JYVD), pp. 189–192.
CIKMCIKM-2013-BailPS #logic #ontology
The logical diversity of explanations in OWL ontologies (SB, BP, US), pp. 559–568.
KEODKEOD-2013-CalegariCM #plugin
Linguistic-variable Definition in OWL 2 — A Protégé Plugin (SC, DC, MM), pp. 269–277.
KEODKEOD-2013-Marc-ZweckerBZB #reasoning
Qualitative Spatial Reasoning in RCC8 with OWL and SWRL (SMZ, FdBdB, CZM, FLB), pp. 214–221.
ASPLOSASPLOS-2013-JogKNMKMID #array #concurrent #named #performance #scheduling #thread
OWL: cooperative thread array aware scheduling techniques for improving GPGPU performance (AJ, OK, NCN, AKM, MTK, OM, RI, CRD), pp. 395–406.
KEODKEOD-2012-Ohlbach #java #named
Java2OWL: A System for Synchronising Java and OWL (HJO), pp. 15–24.
KRKR-2012-KikotKZ #query
Conjunctive Query Answering with OWL 2 QL (SK, RK, MZ).
SEKESEKE-2012-GrunwaldM #approach #named #uml
umlTUowl — A Both Generic and Vendor-specific Approach for UML to OWL Transformation (AG, TM), pp. 730–736.
ICEISICEIS-v3-2011-SchwinnKR #editing #information management #ontology #query #visual notation
Ontology-based Knowledge Management — Graphical Query Editor for OWL Ontologies (MS, NK, SR), pp. 235–240.
CIKMCIKM-2011-GoncalvesPS #categorisation #difference #logic #ontology
Categorising logical differences between OWL ontologies (RSG, BP, US), pp. 1541–1546.
CIKMCIKM-2011-WuQD #pipes and filters #using
Finding all justifications of OWL entailments using TMS and MapReduce (GW, GQ, JD), pp. 1425–1434.
SLESLE-2011-NilssonH #ontology
Metacompiling OWL Ontologies (AN, GH), pp. 354–366.
CADECADE-2011-ChortarasTS #query
Optimized Query Rewriting for OWL 2 QL (AC, DT, GBS), pp. 192–206.
CADECADE-2011-SchneiderS #automation #first-order #ontology #proving #reasoning #theorem proving #using
Reasoning in the OWL 2 Full Ontology Language Using First-Order Automated Theorem Proving (MS, GS), pp. 461–475.
KEODKEOD-2010-MollerSBEDS #classification #representation
Representing the International Classification of Diseases Version 10 in OWL (MM, MS, RB, PE, AD, DS), pp. 50–59.
KEODKEOD-2010-ValienteRV #modelling #semantics #using
Defining the Semantics of It Service Management Models using OWL and SWRL (MCV, DR, CVC), pp. 378–381.
KRKR-2010-OrtizRS #reasoning #worst-case
Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2 (MO, SR, MS).
MODELSMoDELS-v2-2010-RahmaniOD
An Adjustable Transformation from OWL to Ecore (TR, DO, MD), pp. 243–257.
SACSAC-2010-HogenboomFK #overview #representation
A review of approaches for representing RCC8 in OWL (FH, FF, UK), pp. 1444–1445.
ICEISICEIS-J-2009-LemeCBF
Instance-Based OWL Schema Matching (LAPPL, MAC, KKB, ALF), pp. 14–26.
KEODKEOD-2009-HermidaRMP #case study #modelling #ontology #reuse #uml
Reusing UML Class Models to Generate OWL Ontologies — A Use Case in the Pharmacotherapeutic Domain (JMH, MTRF, AM, MP), pp. 281–286.
KEODKEOD-2009-Kop #concept #ontology #question #what
What are Main Concepts in an OWL Domain Ontology? (CK), pp. 404–407.
SACSAC-2009-BoucherZ
Leveraging OWL for GIS interoperability: rewards and pitfalls (SB, EZ), pp. 1267–1272.
SEKESEKE-2008-LiYB #aspect-oriented
Translating OWL Specified Domain Knowledge to Aspect Oriented Model (JL, XY, XB), pp. 203–208.
SEKESEKE-2008-ZhangH #approach #middleware #pervasive
An OWL/SWRL Based Diagnosis Approach in a Pervasive Middleware (WZ, KMH), pp. 893–898.
LISPILC-2007-Moller #lisp
Building a commercial OWL reasoner with Lisp (RM), p. 5.
EDOCEDOC-2006-YanZY #contract #modelling #ontology #semantics #using
Ontology Modeling for Contract: Using OWL to Express Semantic Relations (YY, JZ, MY), pp. 409–412.
CIKMCIKM-2006-DavidGB #ontology
Matching directories and OWL ontologies with AROMA (JD, FG, HB), pp. 830–831.
ASEASE-2006-PaarT #data type #programming language #xml
Programming Language Inherent Support for Constrained XML Schema Definition Data Types and OWL DL (AP, WFT), pp. 281–284.
ICLPICLP-2006-RuckhausKPG #approach #datalog
Integrating Datalog with OWL: Exploring the AL-log Approach (ER, VK, BP, BCG), pp. 455–456.
ICEISICEIS-v1-2005-SuwanmaneeBCT #relational
Wrapping and Integrating Heterogeneous Relational Data with OWL (SS, DB, PAC, PT), pp. 11–18.
SEKESEKE-2005-LucanuLD #morphism
Institution Morphisms for Relating OWL and Z (DL, YFL, JSD), pp. 286–291.
CADECADE-2005-BechhoferHT
The OWL Instance Store: System Description (SB, IH, DT), pp. 177–181.
ICLPICLP-2005-Horrocks #logic #named #ontology
OWL: A Description Logic Based Ontology Language (IH), pp. 1–4.
CAiSECAiSE-2004-TsinarakiPC #integration #ontology #semantics
Integration of OWL Ontologies in MPEG-7 and TV-Anytime Compliant Semantic Indexing (CT, PP, SC), pp. 398–413.
KRKR-2004-HaarslevM #documentation #optimisation #rdf
Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results (VH, RM), pp. 163–174.
KRKR-2004-Patel-Schneider #question #what #why
What Is OWL (and Why Should I Care)? (PFPS), pp. 735–737.
SEKESEKE-2004-KalyanpurPBP #automation #java #ontology
Automatic Mapping of OWL Ontologies into Java (AK, DJP, SB, JAP), pp. 98–103.
ECOOPECOOP-1987-MossK #concurrent
Concurrency Features for the Trellis/Owl Language (JEBM, WHK), pp. 171–180.
OOPSLAOOPSLA-1986-SchaffertCBKW
An Introduction to Trellis/Owl (CS, TC, BB, MK, CW), pp. 9–16.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.