Property:URL

From korrekt.org

Jump to: navigation, search

This property is used to specify the web address of some resource, e.g., the download link of some paper.


(previous 25) (next 25)

Pages using the property "URL"

Showing 25 pages using this property.

A

A Better Uncle For OWL +http://korrekt.org/papers/Kroetzsch-Maier-Krishnadi-Hitzler_nominal-schemas_WWW_2011.pdf  +
A Categorical View on Algebraic Lattices in Formal Concept Analysis +http://www.aifb.uni-karlsruhe.de/WBS/phi/pub/HKZ04.pdf  +
A Description Logic Primer +http://arxiv.org/pdf/1201.4089v1  +
Acyclicity Conditions and their Application to Query Answering in Description Logics +http://www.cs.ox.ac.uk/isg/TR/acyclicity.pdf  +
Adventures of Two Little OWLs in Rule Land +http://korrekt.org/talks/2010/OWL-EL-OWL-RL-Rules-BuRo2010-slides.pdf  +
All Elephants are Bigger than All Mice +http://korrekt.org/papers/RudolphKroetzschHitzer_DL-Concept-Product_TR_2008.pdf  +
Approximate OWL-Reasoning with Screech +http://www.aifb.uni-karlsruhe.de/WBS/sru/TR-TRKH-screech.pdf  +

C

Complexities of Horn Description Logics +http://tocl.acm.org/accepted/TOCL-2011-0035.pdf  +
Complexity Boundaries for Horn Description Logics +http://korrekt.org/papers/KroetzschRudolphHitzler_HornTR2007.pdf  +
Concurrent Classification of EL Ontologies +http://korrekt.org/papers/Kazakov-Kroetzsch-Simancik_concurrent-el-reasoning_ISWC2011.pdf  +
Conjunctive Queries for EL with Role Composition +http://korrekt.org/papers/KroetzschRudolph_ELquerying.pdf  +
Conjunctive Queries for a Tractable Fragment of OWL1.1 +http://korrekt.org/papers/KroetzschRudolphHitzler_ELquerying_ISWC2007.pdf  +

D

DL Role Constructors +http://www.aifb.uni-karlsruhe.de/WBS/sru/TR-RKH-bool-role.pdf  +
DLP isn't so bad after all +http://www.aifb.uni-karlsruhe.de/WBS/phi/pub/dlpnotbad.pdf  +
Description Logic Reasoning with Decision Diagrams +http://korrekt.org/papers/RudophKroetzschHitzler_Datalog-SHIQ-Abox-OBDD_2008.pdf  +
Description Logic Rules +http://korrekt.org/papers/KroetzschRudolphHitzler_SROIQ-Rules_TR_2008.pdf  +
Description Logic Rules (monograph) +http://korrekt.org/papers/Kroetzsch_Description-Logic-Rules_PhD_2010.pdf  +
Die Zukunft der Wikis: Semantic Web +http://www.cul.de/data/wikiblogpr.pdf  +

E

ELK: A Reasoner for OWL EL Ontologies +http://korrekt.org/papers/Kazakov-Kroetzsch-Simancik_ELK-system-description_TR.pdf  +
ELP: Tractable Rules for OWL 2 +http://korrekt.org/papers/KroetzschRudolphHitzler_ELP_TR_2008.pdf  +
Efficient Inferencing for OWL EL +http://korrekt.org/papers/Kroetzsch_OWL-EL-Reasoning_Jelia2010.pdf  +
Efficient Inferencing for the Description Logic Underlying OWL EL +http://korrekt.org/papers/Kroetzsch_OWL-EL-Reasoning_TR_2010.pdf  +
Efficient OWL Reasoning with Logic Programs +http://www.aifb.uni-karlsruhe.de/WBS/sru/RR2007-RKHSV.pdf  +
Efficient Rule-Based Inferencing for OWL EL +http://korrekt.org/papers/Kroetzsch_OWL-EL-Reasoning_IJCAI_2011.pdf  +
Extending Decidable Existential Rules by Joining Acyclicity and Guardedness +http://korrekt.org/papers/KroetzschRudolph_Joint_Acyclicity_IJCAI_2011.pdf  +
(previous 25) (next 25)
Personal tools