Library

Export 15 results:
Filters: Author is Adila Alfa Krisnadhi  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
Web Ontology Language and Description Logic and SROIQ and Semantic Web Rule Language and Datalog and tractability
Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler. Nominal Schemas for Integrating Rules and Ontologies. 2010.  (0 bytes)
Web Ontology Language
Markus Krotzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler. A Better Uncle For OWL - Nominal Schemas for Integrating Rules and Ontologies. In International World Wide Web Conference (WWW2011). New York: Proceedings of the 20th International World Wide Web Conference (WWW2011); 2011.  (406.28 KB)
tractability
Markus Krotzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler. A Better Uncle For OWL - Nominal Schemas for Integrating Rules and Ontologies. In International World Wide Web Conference (WWW2011). New York: Proceedings of the 20th International World Wide Web Conference (WWW2011); 2011.  (406.28 KB)
SROIQ
Markus Krotzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler. A Better Uncle For OWL - Nominal Schemas for Integrating Rules and Ontologies. In International World Wide Web Conference (WWW2011). New York: Proceedings of the 20th International World Wide Web Conference (WWW2011); 2011.  (406.28 KB)
Semantic Web Rule Language
Markus Krotzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler. A Better Uncle For OWL - Nominal Schemas for Integrating Rules and Ontologies. In International World Wide Web Conference (WWW2011). New York: Proceedings of the 20th International World Wide Web Conference (WWW2011); 2011.  (406.28 KB)
OWL and description logic and decidability and local closed world and reasoningalgorithms and rules and datalog
David Carral Martinez, Adila Alfa Krisnadhi, Frederick Maier, Kunal Sengupta, Pascal Hitzler. Reconciling OWL and Rules. 2011.  (326.39 KB)
local closed world
Kunal Sengupta, Adila Alfa Krisnadhi, Pascal Hitzler. Local closed world semantics: grounded circumscription for description logics. In Web Reasoning and Rule Systems. 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Galway, Ireland: Lecture Notes in Computer Science Vol. 6902, Springer, Heidelberg, 2011; 2011.
Description Logic
Adila Alfa Krisnadhi, Kunal Sengupta, Pascal Hitzler. Local Closed World Semantics: Keep it simple, stupid!. In Local Closed World Semantics: Keep it simple, stupid!. 2011.
Kunal Sengupta, Adila Alfa Krisnadhi, Pascal Hitzler. Local closed world semantics: grounded circumscription for description logics. In Web Reasoning and Rule Systems. 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Galway, Ireland: Lecture Notes in Computer Science Vol. 6902, Springer, Heidelberg, 2011; 2011.
Markus Krotzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler. A Better Uncle For OWL - Nominal Schemas for Integrating Rules and Ontologies. In International World Wide Web Conference (WWW2011). New York: Proceedings of the 20th International World Wide Web Conference (WWW2011); 2011.  (406.28 KB)
Datalog
Markus Krotzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler. A Better Uncle For OWL - Nominal Schemas for Integrating Rules and Ontologies. In International World Wide Web Conference (WWW2011). New York: Proceedings of the 20th International World Wide Web Conference (WWW2011); 2011.  (406.28 KB)
circumscription
Kunal Sengupta, Adila Alfa Krisnadhi, Pascal Hitzler. Local closed world semantics: grounded circumscription for description logics. In Web Reasoning and Rule Systems. 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Galway, Ireland: Lecture Notes in Computer Science Vol. 6902, Springer, Heidelberg, 2011; 2011.
Adila Alfa Krisnadhi, Kunal Sengupta, Pascal Hitzler. Local Closed World Semantics: Keep it simple, stupid!. In Local Closed World Semantics: Keep it simple, stupid!. 2011.