BibSonomy :: user :: zazi :: Reasoning

actions for all displayed bookmarks:

export:

RSS, BibTeX, XML

sort:

criterion: date, title
order: ascending, descending

others:

display: all, bookmarks only
bookmarks per page: 5 10 20 50 100

actions for all displayed publications:

export:

RSS, BibTeX, RDF, more...

sort:

criterion: date, title
order: ascending, descending
advanced...

others:

display: all, publications only
publications per page: 5 10 20 50 100

Thea - [SWI] Prolog OWL library
http://www.semanticweb.gr/thea/index.html
http://www.semanticweb.gr/thea/index.html
a year and 9 months ago
by zazi
1
OWL2 Prolog Reasoning Semantic_Web Semantic_Web_Technology Thea
(0)
Thea: Processing OWL Ontologies - An application of logic programming
Thea is a SWI Prolog API for processing OWL2 ontologies. · http://www.slideshare.net/guest57f623bf/thea-processing-owl-ontologies-an-application-of-logic-programming?src=related_normal&rel=1387006
Thea is a SWI Prolog API for processing OWL2 ontologies. · http://www.slideshare.net/guest57f623bf/thea-processing-owl-ontologies-an-application-of-logic-programming?src=related_normal&rel=1387006
a year and 9 months ago
by zazi
1
OWL2 Prolog Reasoning Semantic_Web Semantic_Web_Technology Thea
(0)
OWL 2 Web Ontology Language RDF-Based Semantics
http://www.w3.org/TR/owl2-rdf-based-semantics/
http://www.w3.org/TR/owl2-rdf-based-semantics/
a year and 9 months ago
by zazi
1
DescriptionLogics Direct_Semantics OWL OWL2 Reasoning Semantic_Web Semantics W3C
(0)
Which OWL reasoners understand named graphs? - Semantic Overflow
http://www.semanticoverflow.com/questions/757/which-owl-reasoners-understand-named-graphs
http://www.semanticoverflow.com/questions/757/which-owl-reasoners-understand-named-graphs
a year and 9 months ago
by zazi
1
Named_Graph OWL_Reasoning Quadruple RDF_Semantics Reasoning SPARQL Semantics
(0)
Experience with N3 rules
http://www.w3.org/2004/12/rules-ws/paper/94/
http://www.w3.org/2004/12/rules-ws/paper/94/
a year and 9 months ago
by zazi
1
N3 N3_Rules Notation3 Reasoning Rule_Language Semantic_Web Semantic_Web_Technology
(0)
16. RDF Data Access and Data Management
http://docs.openlinksw.com/virtuoso/rdfsparqlrule.html
http://docs.openlinksw.com/virtuoso/rdfsparqlrule.html
a year and 9 months ago
by zazi
1
Inferencing Reasoning Rule_Language SPARQL Semantic_Web_Technology VOS Virtuoso
(0)
OWL 2 Web Ontology Language New Features and Rationale
http://www.w3.org/TR/owl2-new-features/#Use_Case_.2315_-_UML_Association_Class_.5BDesigner.5D
http://www.w3.org/TR/owl2-new-features/#Use_Case_.2315_-_UML_Association_Class_.5BDesigner.5D
a year and 9 months ago
by zazi
1
N-ary_Relation OWL OWL2 OWL_Reasoning Punning Reasoning Reification_Pattern
(0)
-- Axioms of Web architecture
mono · http://www.w3.org/DesignIssues/Rules.html
mono · http://www.w3.org/DesignIssues/Rules.html
a year and 9 months ago
by zazi
1
DescriptionLogics DesignIssues Inferencing Reasoning Semantic_Web Semantic_Web_Technology monotonicity timbl w3org
(0)
Rulz - the Rules in the Web Zoo | DERI Vocabularies
http://vocab.deri.ie/rulz#endorsedBy
http://vocab.deri.ie/rulz#endorsedBy
a year and 9 months ago
by zazi
1
DERI Inferencing Linked_Data Reasoning Rules Rulz Semantic_Web
(0)
SPIN Modeling Vocabulary
http://spinrdf.org/spin.html
http://spinrdf.org/spin.html
a year and 9 months ago
by zazi
1
Inferencing Reasoning Rule_Language SPARQL SPIN Semantic_Web Semantic_Web_Language
(0)
http://buzzword.org.uk/2009/rdf-profiles/spec.html
http://buzzword.org.uk/2009/rdf-profiles/spec.html
http://buzzword.org.uk/2009/rdf-profiles/spec.html
a year and 9 months ago
by zazi
1
Inferencing Profiling RDF_Profiles Reasoning Semantic_Web tinkster
(0)
AIR Policy Language
http://dig.csail.mit.edu/TAMI/2007/AIR/
http://dig.csail.mit.edu/TAMI/2007/AIR/
a year and 9 months ago
by zazi
1
AIR AIR_Policy_Language AMORD Inferencing N3_Rules Reasoning Semantic_Web
(0)
AIR Policy Language
http://dig.csail.mit.edu/2009/AIR/
http://dig.csail.mit.edu/2009/AIR/
a year and 9 months ago
by zazi
1
AIR AIR_Policy_Language AMORD Inferencing N3_Rules Reasoning Semantic_Web
(0)
Justification UI of the Tabulator
http://dig.csail.mit.edu/TAMI/2008/JustificationUI/howto.html
http://dig.csail.mit.edu/TAMI/2008/JustificationUI/howto.html
a year and 9 months ago
by zazi
1
AIR AMORD Inferencing N3_Rules Reasoning Semantic_Web TAMI Tabulator
(0)
Transparent Accountable Datamining Initiative (TAMI)
http://dig.csail.mit.edu/TAMI/
http://dig.csail.mit.edu/TAMI/
a year and 9 months ago
by zazi
1
AIR AMORD Inferencing N3_Rules Reasoning Semantic_Web TAMI mit
(0)
OWL 2 Web Ontology Language Direct Semantics
OWL 2 Web Ontology Language Direct Semantics · http://www.w3.org/TR/owl2-direct-semantics/
OWL 2 Web Ontology Language Direct Semantics · http://www.w3.org/TR/owl2-direct-semantics/
a year and 9 months ago
by zazi
1
DescriptionLogics Direct_Semantics OWL OWL2 Reasoning Semantic_Web Semantics W3C
(0)
RIF Overview
http://www.w3.org/TR/rif-overview/
http://www.w3.org/TR/rif-overview/
a year and 9 months ago
by zazi
1
RIF Reasoning Rule_Interchange_Format Rule_Language Semantic_Web
(0)
What's the difference between Reasoning and Inferencing? - Semantic Overflow
http://www.semanticoverflow.com/questions/3036/whats-the-difference-between-reasoning-and-inferencing/3039#3039
http://www.semanticoverflow.com/questions/3036/whats-the-difference-between-reasoning-and-inferencing/3039#3039
a year and 9 months ago
by zazi
1
Inferencing Reasoning Reasoning_Engine Reasoning_and_Inferencing SemanticOverflow Semantic_Web signified
(0)
SPARQL-DL API - derivo GmbH
http://www.derivo.de/en/resources/sparql-dl-api/
http://www.derivo.de/en/resources/sparql-dl-api/
a year and 9 months ago
by zazi
1
OWL Query_Language RDF Reasoning SPARQL SPARQL-DL Semantic_Web derivo
(0)
⟨⟨⟨1⟩⟩⟩

No matching items.

BibSonomy is offered by the KDE group of the University of Kassel, the DMIR group of the University of Würzburg, and the L3S Research Center, Germany. Privacy & Terms of Use - Contact